Age | Commit message (Expand) | Author |
---|---|---|
2020-04-02 | Refactor the build process to use cleopatra the Second | Thomas Letan |
2020-02-27 | More theme tweaking | Thomas Letan |
2020-02-27 | Use monokai-pro as the main theme and fix the CSS of Coq files | Thomas Letan |
2020-02-27 | Theme reloading | Thomas Letan |
2020-02-26 | Improving the end of the Bootstrapping cleopatra document | Thomas Letan |
2020-02-26 | Introduce a notion of dependency between generation processes | Thomas Letan |
2020-02-23 | Use font-display, use non-breaking spaces with URL mark | Thomas Letan |
2020-02-23 | Try to improve the situation with overflowing source blocks | Thomas Letan |
2020-02-23 | Remove useless `sed' call in Coq file generation process | Thomas Letan |
2020-02-23 | Reworking cleopatra presentation | Thomas Letan |