index
:
webserver
master
My web server
git daemon user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
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
|
*
timetrack: calendar v1
tomsmeding
2022-02-06
|
*
todo/timetrack: Fix unknownuser checks
tomsmeding
2022-02-06
|
*
email: Remove redundant global var
tomsmeding
2022-02-06
|
*
Make install_prepare.sh more distro-independent
tomsmeding
2022-02-06
|
*
timetrack: Initial
Tom Smeding
2022-02-03
|
[next]