Age | Commit message (Expand) | Author |
---|---|---|
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 |