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-12-13
Advertise the use of cleopatra
Thomas Letan
2020-12-13
Spectral is the new main font of this website
Thomas Letan
2020-12-10
Spellchecking and revisions table for the coqffi articles
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-10-30
Reword the titles of the “Strongly-Specified Functions”’s articles
Thomas Letan
2020-10-10
Create a summary page for the strongly-specified functions series
Thomas Letan
2020-08-30
Introducing the Opinions page
Thomas Letan
2020-08-28
Heavy reworking of the Ltac series
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
Initial publication
Thomas Letan
2020-07-21
Remove half-deleted sentence
Thomas Letan
2020-07-14
Prepare the introduction of a RSS feed
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
Add missing revisions tables
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-02
Refactor the build process to use cleopatra the Second
Thomas Letan
2020-03-20
Remove the “About” page and use the “Write-up” page as default index
Thomas Letan
2020-03-20
Add a new post about Clight and its semantics
Thomas Letan
2020-03-19
Use inline mathematics to display KaTeX
Thomas Letan
2020-02-29
Continue the Series on cleopatra
Thomas Letan
2020-02-27
Theme reloading
Thomas Letan
2020-02-26
Improving the end of the Bootstrapping cleopatra document
Thomas Letan
2020-02-23
Fix a typo in “Ltac 101”
Thomas Letan
2020-02-23
Reworking cleopatra presentation
Thomas Letan
2020-02-23
Fix several typos in the posts index
Thomas Letan
2020-02-23
Polish cleopatra
Thomas Letan
2020-02-23
Give up on clean URLs
Thomas Letan
2020-02-23
First complete draft for the Root of Generation section
Thomas Letan
2020-02-22
Explain 'tangle-org.el'
Thomas Letan
2020-02-22
Remove an orphan sentence
Thomas Letan
2020-02-22
List current generation processes and document how to add one
Thomas Letan
2020-02-22
Increase the width of the log file header generated by cleopatra
Thomas Letan
2020-02-22
Remove useless dependencies in the `build' rule of cleopatra
Thomas Letan
2020-02-22
Integrate `update-gitignore.sh' inside cleopatra
Thomas Letan
2020-02-22
Use `tangle-org.el' during bootstrap
Thomas Letan
2020-02-22
Make ~make~ to call itself with the `build` rule when none is given
Thomas Letan
2020-02-22
Provide a generic and reliable way to extends cleopatra
Thomas Letan
2020-02-22
Initiate the redaction of Bootstrap.org
Thomas Letan
2020-02-21
Various improvement in cleopatra
Thomas Letan
2020-02-20
Adopt a literate programming for `main.sass'
Thomas Letan
2020-02-20
Make an heavy use of Makefile variables
Thomas Letan
2020-02-20
Make cleopatra extensible
Thomas Letan
2020-02-19
Name the toolchain and provide some context about its series
Thomas Letan
[next]