Age | Commit message (Expand) | Author |
---|---|---|
2020-02-18 | Disable `custom-entry-overriden' warning of Coq | Thomas Letan |
2020-02-16 | Adopt a literate programming approach for the configuration | Thomas Letan |
2020-02-15 | Make the website 3rd-party free and improve loading performance | Thomas Letan |
2020-02-14 | Provide an index page for write-ups with more value | Thomas Letan |
2020-02-05 | Make the output of `make` cleaner | 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 | Initial commit with previous content and a minimal theme | Thomas Letan |