index
:
soap.coffee/lthms.git
main
Personal website of lthms
Thomas Letan
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
site
/
cleopatra
/
soupault.org
Age
Commit message (
Expand
)
Author
2022-10-23
Website reorg
Thomas Letan
2022-08-07
Source moved from labs. to src.soap.coffee
Thomas Letan
2022-08-07
Add a new post about rank-n types in OCaml
Thomas Letan
2021-08-20
The repository has moved
Thomas Letan
2021-08-20
Update various dependencies used by this website
Thomas Letan
2021-03-28
Use the built-in plugin to insert the “Table of Contents” title
Thomas Letan
2021-03-28
2021 Spring redesign
Thomas Letan
2020-12-14
Avoid to display too much noweb variables
Thomas Letan
2020-12-14
Massive performance improvement for `history.sh'
Thomas Letan
2020-12-10
Add a Series on coqffi, and the first literate program of this blog
Thomas Letan
2020-10-23
Update to soupault.2.0.0
Thomas Letan
2020-09-02
Knitting is a thing now
Thomas Letan
2020-08-27
Additional tweaks to the design
Thomas Letan
2020-08-27
Simplify the theme
Thomas Letan
2020-07-14
Remove outdated TODO note
Thomas Letan
2020-07-14
Fix sass issue
Thomas Letan
2020-07-14
Identify the creation and last update date from the revisions table
Thomas Letan
2020-07-12
Display the full history of a file in revisions tables
Thomas Letan
2020-07-12
Fix the width of revisions table when descriptions are too short
Thomas Letan
2020-07-12
Various fixes here and there
Thomas Letan
2020-04-02
Refactor the build process to use cleopatra the Second
Thomas Letan