webserver - My web server

	Commit message (Collapse)	Author	Age
*	up_log module	Tom Smeding	2024-09-30
\|
*	unicode: Add 'approx' alias for ALMOST EQUAL TO	Tom Smeding	2024-09-18
\|
*	nlen: More Nederlands	Tom Smeding	2024-09-01
\| \| \| \|	Thanks @ivogabe!
*	nlen: Better client	Tom Smeding	2024-09-01
\|
*	Allow failing modules if they miss data files	Tom Smeding	2024-07-22
\|
*	Update UnicodeData.txt URL	Tom Smeding	2024-07-22
\|
*	publications: Note extended version of dualrev	Tom Smeding	2024-07-22
\|
*	statusbot: .well-known retry mechanism	Tom Smeding	2024-07-10
\|
*	statusbot: ratelimit	Tom Smeding	2024-07-04
\|
*	Add statusbot module	Tom Smeding	2024-07-02
\|
*	unicode: More results; aliases	Tom Smeding	2024-04-21
\|
*	unicode: Dark mode	Tom Smeding	2024-04-21
\|
*	nlen: Fix json	Tom Smeding	2024-04-21
\|
*	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
\|