coq - the Coq proof assistant

	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.