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
Age
Commit message (
Expand
)
Author
2020-12-10
Fix the generation of coqffi-tutorial.tar.gz
Thomas Letan
2020-12-10
Add a Series on coqffi, and the first literate program of this blog
Thomas Letan
2020-12-08
Advertise the version of compcert used to build this article
Thomas Letan
2020-12-08
Update to CompCert 3.8
Thomas Letan
2020-12-08
Announce coq-coqffi.1.0.0~beta1
Thomas Letan
2020-12-08
Tweak the theme to increase its book vibe
Thomas Letan
2020-11-24
Announce the acceptance of our coqffi paper
Thomas Letan
2020-11-24
Remove a redundant </head> tag in HTML template
Thomas Letan
2020-11-24
Rework header to make it more mobile friendly
Thomas Letan
2020-10-30
Reword the titles of the “Strongly-Specified Functions”’s articles
Thomas Letan
2020-10-23
Update to soupault.2.0.0
Thomas Letan
2020-10-10
Create a summary page for the strongly-specified functions series
Thomas Letan
2020-10-09
Fix Coq source scrolling
Thomas Letan
2020-10-09
Variablify the margin of a page
Thomas Letan
2020-10-08
coqffi has been published!
Thomas Letan
2020-10-08
Use Linux Libertine
Thomas Letan
2020-09-23
Small CSS tweaks
Thomas Letan
2020-09-23
Add a permalink to my Coq posts
Thomas Letan
2020-09-03
Fix a mistake in the footer
Thomas Letan
2020-09-02
Knitting is a thing now
Thomas Letan
2020-08-30
Introducing the Opinions page
Thomas Letan
2020-08-29
Start the documentation of the theme build process
Thomas Letan
2020-08-28
Minor theme tweakings
Thomas Letan
2020-08-28
Heavy reworking of the Ltac series
Thomas Letan
2020-08-27
Add a page to display my keystrokes reporting
Thomas Letan
2020-08-27
Add an (empty) projects page
Thomas Letan
2020-08-27
Additional tweaks to the design
Thomas Letan
2020-08-27
Simplify the theme
Thomas Letan
2020-07-31
Make the two articles about Ltac refer to each other
Thomas Letan
2020-07-31
“For Fun and Benefit” was not an idiomatic expression
Thomas Letan
2020-07-26
Add the latest write-up on Ltac to the index
Thomas Letan
2020-07-26
Initial publication
Thomas Letan
2020-07-21
Remove half-deleted sentence
Thomas Letan
2020-07-14
Remove outdated TODO note
Thomas Letan
2020-07-14
Fix size of code font
Thomas Letan
2020-07-14
Fix sass issue
Thomas Letan
2020-07-14
Prepare the introduction of a RSS feed
Thomas Letan
2020-07-14
Identify the creation and last update date from the revisions table
Thomas Letan
2020-07-12
More spellchecking and typos
Thomas Letan
2020-07-12
Invert the table of contents and the revision tables
Thomas Letan
2020-07-12
Display the full history of a file in revisions tables
Thomas Letan
2020-07-12
Add missing revisions tables
Thomas Letan
2020-07-12
Fix the width of revisions table when descriptions are too short
Thomas Letan
2020-07-12
Spellchecking
Thomas Letan
2020-07-12
New article on Algebraic Datatypes
Thomas Letan
2020-07-12
Various fixes here and there
Thomas Letan
2020-04-04
Benefit from cleopatra org-related functions to export org files
Thomas Letan
2020-04-02
Small tweaking post-publication
Thomas Letan
2020-04-02
Refactor the build process to use cleopatra the Second
Thomas Letan
2020-03-21
Enjoy soupault’s plugin autodiscovery feature
Thomas Letan
[next]