Age | Commit message (Expand) | Author |
---|---|---|
2020-02-23 | Try to improve the situation with overflowing source blocks | Thomas Letan |
2020-02-23 | Yet another attempt to only init npm and Emacs when necessary | Thomas Letan |
2020-02-23 | Use a softer theme | Thomas Letan |
2020-02-23 | Remove useless `sed' call in Coq file generation process | Thomas Letan |
2020-02-23 | Ignore build.log | Thomas Letan |
2020-02-23 | cleopatra is completely boostrapped | Thomas Letan |
2020-02-23 | Do not remove cleopatra files with 'make clean' | Thomas Letan |
2020-02-23 | Provide a rule to initialize Emacs packages | Thomas Letan |
2020-02-23 | Integrate the scripts and plugins used by soupault in Soupault.org | Thomas Letan |
2020-02-23 | Reworking cleopatra presentation | Thomas Letan |