Age | Commit message (Expand) | Author |
---|---|---|
2020-08-27 | Simplify the theme | Thomas Letan |
2020-07-12 | Various fixes here and there | Thomas Letan |
2020-02-19 | Use the correct font for interfaces in the titles | Thomas Letan |
2020-02-19 | Do not use raw HTML for the titles of Coq posts | Thomas Letan |
2020-02-16 | Automatically generate a revision table from git history | Thomas Letan |
2020-02-05 | Small changes in MiniHTTPServer.v | Thomas Letan |
2020-02-04 | Publish a new article | Thomas Letan |