Age | Commit message (Expand) | Author |
---|---|---|
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 |