| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-02-05 | Rename org posts | Thomas Letan |
| 2020-02-05 | Some more minor tweaks | Thomas Letan |
| 2020-02-05 | Add a minimal navigation bar for the website | Thomas Letan |
| 2020-02-05 | Add minimal comments to the script that keep .gitignore up-to-date | Thomas Letan |
| 2020-02-05 | Make the output of `make` cleaner | Thomas Letan |
| 2020-02-05 | Small changes in MiniHTTPServer.v | Thomas Letan |
| 2020-02-05 | Various theme tweaking | Thomas Letan |
| 2020-02-05 | Fix link to locally defined terms in coqdoc output | Thomas Letan |
| 2020-02-05 | Keep the list of html files to ignore up-to-date when building | Thomas Letan |
| 2020-02-04 | Publish a new article | Thomas Letan |
| 2020-02-04 | Change the date format | Thomas Letan |
| 2020-02-04 | Rework StronglySpecifiedFunctionsProgram.v | Thomas Letan |
| 2020-02-04 | Tweak the CSS | Thomas Letan |
| 2020-02-04 | Try to avoid long lines in StronglySpecifiedFunctions.v | Thomas Letan |
| 2020-02-04 | Various fixes related to absolute URLs | Thomas Letan |
| 2020-02-04 | Initial commit with previous content and a minimal theme | Thomas Letan |