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
/
posts
Age
Commit message (
Expand
)
Author
2020-02-18
Do not extract Coq terms in Strongly-Specified Functions part 2
Thomas Letan
2020-02-18
First publication of a page listing FOSS used to build this website
Thomas Letan
2020-02-17
Do not generate the news index automatically anymore
Thomas Letan
2020-02-17
Render inline math at build time using KaTeX
Thomas Letan
2020-02-16
Adopt a literate programming approach for the configuration
Thomas Letan
2020-02-16
Add a revision table to the “Rewrite in Coq” article
Thomas Letan
2020-02-16
Automatically generate a revision table from git history
Thomas Letan
2020-02-14
Fix spelling error
Thomas Letan
2020-02-14
Rework the introduction of the strongly-specified functions serie
Thomas Letan
2020-02-14
Provide an index page for write-ups with more value
Thomas Letan
2020-02-05
Rename org posts
Thomas Letan
2020-02-05
Add a minimal navigation bar for the website
Thomas Letan
2020-02-05
Small changes in MiniHTTPServer.v
Thomas Letan
2020-02-05
Various theme tweaking
Thomas Letan
2020-02-04
Publish a new article
Thomas Letan
2020-02-04
Change the date format
Thomas Letan
2020-02-04
Rework StronglySpecifiedFunctionsProgram.v
Thomas Letan
2020-02-04
Try to avoid long lines in StronglySpecifiedFunctions.v
Thomas Letan
2020-02-04
Various fixes related to absolute URLs
Thomas Letan
2020-02-04
Initial commit with previous content and a minimal theme
Thomas Letan