Age | Commit message (Expand) | Author |
---|---|---|
2020-09-23 | Add a permalink to my Coq posts | 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 | Additional tweaks to the design | Thomas Letan |
2020-08-27 | Simplify the theme | 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-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 | Do not use the sr.ht mailing list anymore | Thomas Letan |
2020-03-20 | Remove the “About” page and use the “Write-up” page as default index | Thomas Letan |