| Age | Commit message (Collapse) | 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 | |
| Apparently it's deprecated / doesn't always work, see https://tex.stackexchange.com/questions/84041/why-does-calm-n-give-m See #9429 (we also need to fix the distributed file on the server). | |||
| 2019-01-25 | Move \def\plus and \def\tri to refman-preamble.sty. | Tanaka Akira | |
| The definition of \plus and \tri in cic.rst is not effective for HTML output. So, move them into refman-preamble.sty. Also, \tri is renamed to \trii to express the suffix of "\triangleright_\iota". | |||
| 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 |