| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-09-20 | [doc] Create a separate index file for the LaTeX build | Clément Pit-Claudel | |
| See https://github.com/sphinx-doc/sphinx/issues/4977 for context. | |||
| 2018-06-26 | Merge PR #7851: Modernize the introduction of the reference manual. | Maxime Dénès | |
| 2018-06-20 | Mention Company-Coq as well. | Théo Zimmermann | |
| 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. | |||
| 2018-06-17 | Add introduction and credits to the TOC. | Théo Zimmermann | |
| Move credits to its own chapter (closes #6573). | |||
| 2018-06-17 | Move indexes on top on the TOC. Closes #7764. | Théo Zimmermann | |
| 2018-05-05 | Remove duplicate Introduction title. | Théo Zimmermann | |
| 2018-04-14 | [Sphinx] Add chapter 9. | Théo Zimmermann | |
| Chapter ported by Théo Zimmermann and Maxime Dénès. | |||
| 2018-04-13 | [Sphinx] Add Chapter 1 | Maxime Dénès | |
| 2018-04-12 | [Sphinx] Add chapter 29 | Maxime Dénès | |
| Thanks to Clément Pit Claudel for porting this chapter. Backport universe polymorphism changes from 2017 and 2018. | |||
| 2018-04-10 | [Sphinx] Add chapter 6 | Maxime Dénès | |
| Thanks to Yves Bertot for porting this chapter. | |||
| 2018-04-10 | [Sphinx] Add chapter 15 | Laurent Théry | |
| Thanks to Laurent Théry for porting this chapter. | |||
| 2018-04-09 | [Sphinx] Add chapter 7 | Maxime Dénès | |
| Thanks to Laurent Théry for porting this chapter. | |||
| 2018-04-05 | [Sphinx] Add chapter 30 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-04-04 | [Sphinx] Add chapter 28 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-30 | [Sphinx] Add chapter 27 | Maxime Dénès | |
| Thanks to Calvin Beck for porting this chapter. | |||
| 2018-03-30 | [Sphinx] Add chapter 25 | Maxime Dénès | |
| Thanks to Laurent Théry for porting this chapter. | |||
| 2018-03-29 | [Sphinx] Add chapter 26 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-29 | [Sphinx] Add chapter 24 | Maxime Dénès | |
| Thanks to Matthieu Sozeau for porting this chapter. | |||
| 2018-03-29 | [Sphinx] Add chapter 23 | Maxime Dénès | |
| Thanks to Pierre Letouzey for porting this chapter. | |||
| 2018-03-29 | [Sphinx] Add chapter 18 | Maxime Dénès | |
| Thanks to Pierre Letouzey for porting this chapter. | |||
| 2018-03-26 | [doc] Port Chapter 20 Type Classes to Sphinx | Matthieu Sozeau | |
| 2018-03-22 | 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 | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-22 | [Sphinx] Add chapter 21 | Maxime Dénès | |
| Thanks to Pierre Letouzey for porting this chapter. | |||
| 2018-03-22 | [Sphinx] Add chapter 19 | Maxime Dénès | |
| Thanks to Laurent Théry for porting this chapter. | |||
| 2018-03-22 | [Sphinx] Add chapter 17 | Maxime Dénès | |
| Thanks to Clément Pit-Claudel for porting this chapter. | |||
| 2018-03-16 | [Sphinx] Add chapter 11 | Maxime Dénès | |
| Thanks to Enrico Tassi, Assia Mahboubi, Laurence Rideau and Yves Bertot for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add chapter 3 | Maxime Dénès | |
| Thanks to Pierre Letouzey for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add chapter 16 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add chapter 14 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add chapter 13 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add chapter 12 | Maxime Dénès | |
| Thanks to Clément Pit-Claudel for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add chapter 10 | Maxime Dénès | |
| Thanks to Calvin Beck for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add chapter 8 | Maxime Dénès | |
| Thanks to Heiko Becker and Nikita Zyuzin for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add chapter 5 | Maxime Dénès | |
| Thanks to Richard Ford for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add chapter 4 | Maxime Dénès | |
| Thanks to Richard Ford for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add chapter 2 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Add credits | Maxime Dénès | |
| 2018-03-13 | [Sphinx] Add introduction | Maxime Dénès | |
| I backported changes done to the LaTeX manual. | |||
| 2018-03-13 | [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-12 | [Sphinx] Add table of contents | Maxime Dénès | |
| 2018-03-09 | Integration of a sphinx-based documentation generator. | Maxime Dénès | |
| 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. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |