Age | Commit message (Expand) | Author |
---|---|---|
2020-12-11 | Link to Coq dependencies’ documentation | Thomas Letan |
2020-12-10 | Add a Series on coqffi, and the first literate program of this blog | Thomas Letan |
2020-10-09 | Fix Coq source scrolling | Thomas Letan |
2020-10-09 | Variablify the margin of a page | Thomas Letan |
2020-09-23 | Small CSS tweaks | Thomas Letan |
2020-08-28 | Minor theme tweakings | Thomas Letan |
2020-08-27 | Simplify the theme | 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 |