Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #7851: Modernize the introduction of the reference manual. | 2018-06-26 | |
|\ | |||
| * | Mention Company-Coq as well. | 2018-06-20 | |
* | | Add introduction and credits to the TOC. | 2018-06-17 | |
* | | Move indexes on top on the TOC. Closes #7764. | 2018-06-17 | |
|/ | |||
* | Remove duplicate Introduction title. | 2018-05-05 | |
* | [Sphinx] Add chapter 9. | 2018-04-14 | |
* | [Sphinx] Add Chapter 1 | 2018-04-13 | |
* | [Sphinx] Add chapter 29 | 2018-04-12 | |
* | [Sphinx] Add chapter 6 | 2018-04-10 | |
* | [Sphinx] Add chapter 15 | 2018-04-10 | |
* | [Sphinx] Add chapter 7 | 2018-04-09 | |
* | [Sphinx] Add chapter 30 | 2018-04-05 | |
* | [Sphinx] Add chapter 28 | 2018-04-04 | |
* | [Sphinx] Add chapter 27 | 2018-03-30 | |
* | [Sphinx] Add chapter 25 | 2018-03-30 | |
* | [Sphinx] Add chapter 26 | 2018-03-29 | |
* | [Sphinx] Add chapter 24 | 2018-03-29 | |
* | [Sphinx] Add chapter 23 | 2018-03-29 | |
* | [Sphinx] Add chapter 18 | 2018-03-29 | |
* | [doc] Port Chapter 20 Type Classes to Sphinx | 2018-03-26 | |
* | Merge branch 'master' into sphinx-doc-chapter-22 | 2018-03-22 | |
|\ | |||
| * | Merge branch 'master' into sphinx-doc-chapter-21 | 2018-03-22 | |
| |\ | |||
| | * | Merge branch 'master' into sphinx-doc-chapter-19 | 2018-03-22 | |
| | |\ | |||
* | | | | [Sphinx] Add chapter 22 | 2018-03-22 | |
| * | | | [Sphinx] Add chapter 21 | 2018-03-22 | |
|/ / / | |||
| * / | [Sphinx] Add chapter 19 | 2018-03-22 | |
|/ / | |||
| * | [Sphinx] Add chapter 17 | 2018-03-22 | |
|/ | |||
* | [Sphinx] Add chapter 11 | 2018-03-16 | |
* | [Sphinx] Add chapter 3 | 2018-03-15 | |
* | [Sphinx] Add chapter 16 | 2018-03-15 | |
* | [Sphinx] Add chapter 14 | 2018-03-15 | |
* | [Sphinx] Add chapter 13 | 2018-03-15 | |
* | [Sphinx] Add chapter 12 | 2018-03-15 | |
* | [Sphinx] Add chapter 10 | 2018-03-15 | |
* | [Sphinx] Add chapter 8 | 2018-03-15 | |
* | [Sphinx] Add chapter 5 | 2018-03-15 | |
* | [Sphinx] Add chapter 4 | 2018-03-15 | |
* | [Sphinx] Add chapter 2 | 2018-03-15 | |
* | [Sphinx] Add credits | 2018-03-15 | |
* | [Sphinx] Add introduction | 2018-03-13 | |
* | [Sphinx] Mention license | 2018-03-13 | |
* | [Sphinx] add bibliography | 2018-03-13 | |
* | [Sphinx] Add indexes | 2018-03-13 | |
* | [Sphinx] Add table of contents | 2018-03-12 | |
* | Integration of a sphinx-based documentation generator. | 2018-03-09 |