Age | Commit message (Expand) | Author |
---|---|---|
2022-10-23 | Website reorg | Thomas Letan |
2021-03-28 | 2021 Spring redesign | Thomas Letan |
2021-01-24 | No more syntax highlighting | Thomas Letan |
2021-01-16 | Tweak margins | Thomas Letan |
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 |