| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-03-26 | Reintroduce commands that were actually used. Fix build of PDF manual. | Théo Zimmermann |
| 2020-03-26 | Shrink refman-prelude files. | Théo Zimmermann |
| 2019-03-14 | Documentation for SProp | Gaëtan Gilbert |
| 2019-01-29 | Use \mathcal instead of \cal | Gaëtan Gilbert |
| 2019-01-25 | Move \def\plus and \def\tri to refman-preamble.sty. | Tanaka Akira |
| 2018-09-20 | [doc] Include the rst and LaTeX preambles automatically in all files | Clément Pit-Claudel |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |