webserver - My web server

	Commit message (Collapse)	Author	Age
*	unicode: More results; aliasesHEAD master	Tom Smeding	10 days
\|
*	unicode: Dark mode	Tom Smeding	10 days
\|
*	nlen: Fix json	Tom Smeding	10 days
\|
*	nlen: AD	Tom Smeding	2024-04-13
\|
*	nlen	Tom Smeding	2024-03-25
\|
*	sendmail -> msmtp	Tom Smeding	2024-03-01
\|
*	blog: Add timestamp to posts	Tom Smeding	2024-03-01
\|
*	blog: Misc fixes	Tom Smeding	2024-03-01
\|
*	publications: Upgrade efficient chad to popl	Tom Smeding	2023-11-29
\|
*	more	Tom Smeding	2023-11-18
\|
*	more	Tom Smeding	2023-11-18
\|
*	Fix bug some more	Tom Smeding	2023-11-18
\|
*	Fix bug	Tom Smeding	2023-11-18
\|
*	changes: Don't send file contents uselessly	Tom Smeding	2023-11-12
\|
*	I like languages too	Tom Smeding	2023-09-17
\|
*	publications: Add Efficient CHAD preprint	tomsmeding	2023-08-18
\|
*	nlen	Tom Smeding	2023-07-11
\|
*	unicode: Invisible spaces between table columns for neat copying	Tom Smeding	2023-06-13
\|
*	unicode: Recognise multiple index literals in input	Tom Smeding	2023-06-12
\|
*	unicode: Don't span history, replace history state	Tom Smeding	2023-06-12
\|
*	index: Fix spelling	Tom Smeding	2023-05-27
\| \| \| \|	Thanks Daniel :)
*	changes: Add link to online page to email	Tom Smeding	2023-03-12
\|
*	Remove commented-out AD intro here (moved to blog/ad/intro)	Tom Smeding	2023-03-01
\|
*	index.html: Some text about my research	Tom Smeding	2023-02-24
\|
*	index: Add email	Tom Smeding	2023-01-31
\|
*	Update publications	Tom Smeding	2023-01-05
\|
*	timetrack3: Day counts are not useful	Tom Smeding	2022-11-16
\|
*	timetrack3: Modern JS	Tom Smeding	2022-09-07
\|
*	timetrack3	Tom Smeding	2022-09-06
\|
*	Updates	Tom Smeding	2022-09-05
\|
*	Update CHAD publication (TOPLAS)	Tom Smeding	2022-08-23
\|
*	Typo	Tom Smeding	2022-08-08
\|
*	index: Pointer cursor on <summary>	Tom Smeding	2022-08-07
\|
*	Dark mode on index.html	Tom Smeding	2022-08-07
\|
*	Load publications from publications.json	Tom Smeding	2022-08-07
\|
*	nlen: More	Tom Smeding	2022-08-07
\|
*	Add publications to homepage	tomsmeding	2022-08-05
\|
*	Reorder social links	tomsmeding	2022-08-05
\|
*	nlen: opladen	Tom Smeding	2022-04-27
\|
*	changes: Special case some websites	Tom Smeding	2022-04-21
\|
*	unicode: Up UnicodeData.txt	Tom Smeding	2022-04-13
\|
*	unicode: Properly report unknown codepoints	Tom Smeding	2022-04-13
\|
*	timetrack2: Fix date handling w.r.t. DST	Tom Smeding	2022-03-28
\|
*	Timetrack 2	Tom Smeding	2022-03-09
\|
*	timetrack: UI	Tom Smeding	2022-03-04
\|
*	timetrack: Improve formatting of Account note in calendar	Tom Smeding	2022-03-01
\|
*	timetrack: Show total account on last week in calendar	Tom Smeding	2022-02-28
\|
*	timetrack: Fix some eventtext layout issue	Tom Smeding	2022-02-08
\|
*	timetrack: More compressed	Tom Smeding	2022-02-07
\|
*	timetrack: Mark today in calendar	Tom Smeding	2022-02-07
\|