| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-10-23 | Website reorg | Thomas Letan |
| 2022-08-13 | Typo ): | Thomas Letan |
| 2022-08-13 | Goodbye, cleopatra | Thomas Letan |
| 2021-03-28 | 2021 Spring redesign | Thomas Letan |
| 2020-12-20 | Provide some insight on how literate programming projects are built | Thomas Letan |
| 2020-12-10 | Add a Series on coqffi, and the first literate program of this blog | Thomas Letan |
| 2020-08-29 | Start the documentation of the theme build process | Thomas Letan |
| 2020-08-27 | Additional tweaks to the design | Thomas Letan |
| 2020-07-12 | Various fixes here and there | 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 |