Commit message (Expand) | Author | Age | |
---|---|---|---|
* | doc: Fix markup in Calculus of Inductive Constructions | 2018-07-04 | |
* | [sphinx] Backport changes from #5979. | 2018-05-05 | |
* | [Sphinx] Fix all remaining warnings. | 2018-04-14 | |
* | [sphinx] Fix many warnings. | 2018-04-14 | |
* | [sphinx] Use macros for notes and examples. | 2018-04-11 | |
* | [Sphinx] Add chapter 4 | 2018-03-15 | |
* | [Sphinx] Move chapter 4 to new infrastructure | 2018-03-15 |