Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge PR #7851: Modernize the introduction of the reference manual. | Maxime Dénès | 2018-06-26 |
|\ | |||
| * | Mention Company-Coq as well. | Théo Zimmermann | 2018-06-20 |
| | | | | | | | | | | We put it in a footnote otherwise the sentence was starting to be really long. Footnotes need to be in index.rst to really appear at the bottom of the index page. | ||
* | | Add introduction and credits to the TOC. | Théo Zimmermann | 2018-06-17 |
| | | | | | | | | Move credits to its own chapter (closes #6573). | ||
* | | Move indexes on top on the TOC. Closes #7764. | Théo Zimmermann | 2018-06-17 |
|/ | |||
* | Remove duplicate Introduction title. | Théo Zimmermann | 2018-05-05 |
| | |||
* | [Sphinx] Add chapter 9. | Théo Zimmermann | 2018-04-14 |
| | | | | Chapter ported by Théo Zimmermann and Maxime Dénès. | ||
* | [Sphinx] Add Chapter 1 | Maxime Dénès | 2018-04-13 |
| | |||
* | [Sphinx] Add chapter 29 | Maxime Dénès | 2018-04-12 |
| | | | | | | Thanks to Clément Pit Claudel for porting this chapter. Backport universe polymorphism changes from 2017 and 2018. | ||
* | [Sphinx] Add chapter 6 | Maxime Dénès | 2018-04-10 |
| | | | | Thanks to Yves Bertot for porting this chapter. | ||
* | [Sphinx] Add chapter 15 | Laurent Théry | 2018-04-10 |
| | | | | Thanks to Laurent Théry for porting this chapter. | ||
* | [Sphinx] Add chapter 7 | Maxime Dénès | 2018-04-09 |
| | | | | Thanks to Laurent Théry for porting this chapter. | ||
* | [Sphinx] Add chapter 30 | Maxime Dénès | 2018-04-05 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Add chapter 28 | Maxime Dénès | 2018-04-04 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Add chapter 27 | Maxime Dénès | 2018-03-30 |
| | | | | Thanks to Calvin Beck for porting this chapter. | ||
* | [Sphinx] Add chapter 25 | Maxime Dénès | 2018-03-30 |
| | | | | Thanks to Laurent Théry for porting this chapter. | ||
* | [Sphinx] Add chapter 26 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Add chapter 24 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Matthieu Sozeau for porting this chapter. | ||
* | [Sphinx] Add chapter 23 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | [Sphinx] Add chapter 18 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | [doc] Port Chapter 20 Type Classes to Sphinx | Matthieu Sozeau | 2018-03-26 |
| | |||
* | Merge branch 'master' into sphinx-doc-chapter-22 | Guillaume Melquiond | 2018-03-22 |
|\ | |||
| * | Merge branch 'master' into sphinx-doc-chapter-21 | Guillaume Melquiond | 2018-03-22 |
| |\ | |||
| | * | Merge branch 'master' into sphinx-doc-chapter-19 | Guillaume Melquiond | 2018-03-22 |
| | |\ | |||
* | | | | [Sphinx] Add chapter 22 | Maxime Dénès | 2018-03-22 |
| | | | | | | | | | | | | | | | | Thanks to Paul Steckler for porting this chapter. | ||
| * | | | [Sphinx] Add chapter 21 | Maxime Dénès | 2018-03-22 |
|/ / / | | | | | | | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
| * / | [Sphinx] Add chapter 19 | Maxime Dénès | 2018-03-22 |
|/ / | | | | | | | Thanks to Laurent Théry for porting this chapter. | ||
| * | [Sphinx] Add chapter 17 | Maxime Dénès | 2018-03-22 |
|/ | | | | Thanks to Clément Pit-Claudel for porting this chapter. | ||
* | [Sphinx] Add chapter 11 | Maxime Dénès | 2018-03-16 |
| | | | | | Thanks to Enrico Tassi, Assia Mahboubi, Laurence Rideau and Yves Bertot for porting this chapter. | ||
* | [Sphinx] Add chapter 3 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | [Sphinx] Add chapter 16 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Add chapter 14 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Add chapter 13 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Add chapter 12 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Clément Pit-Claudel for porting this chapter. | ||
* | [Sphinx] Add chapter 10 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Calvin Beck for porting this chapter. | ||
* | [Sphinx] Add chapter 8 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Heiko Becker and Nikita Zyuzin for porting this chapter. | ||
* | [Sphinx] Add chapter 5 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Richard Ford for porting this chapter. | ||
* | [Sphinx] Add chapter 4 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Richard Ford for porting this chapter. | ||
* | [Sphinx] Add chapter 2 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Add credits | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add introduction | Maxime Dénès | 2018-03-13 |
| | | | | I backported changes done to the LaTeX manual. | ||
* | [Sphinx] Mention license | Maxime Dénès | 2018-03-13 |
| | |||
* | [Sphinx] add bibliography | Maxime Dénès | 2018-03-13 |
| | |||
* | [Sphinx] Add indexes | Maxime Dénès | 2018-03-13 |
| | |||
* | [Sphinx] Add table of contents | Maxime Dénès | 2018-03-12 |
| | |||
* | Integration of a sphinx-based documentation generator. | Maxime Dénès | 2018-03-09 |
The original contribution is from Clément Pit-Claudel. I updated his code and integrated it with the Coq build system. Many improvements by Paul Steckler (MIT). This commit adds the infrastructure but no content. |