coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
...
*	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] Move chapter 22 to new infrastructure	Maxime Dénès	2018-03-22
/ / /
* \| \|	[Sphinx] Add chapter 21	Maxime Dénès	2018-03-22
\| \| \| \| \| \| \| \| \| \| \| \|	Thanks to Pierre Letouzey for porting this chapter.
* \| \|	[Sphinx] Move chapter 21 to new infrastructure	Maxime Dénès	2018-03-22
/ /
* \|	[Sphinx] Add chapter 19	Maxime Dénès	2018-03-22
\| \| \| \| \| \| \| \|	Thanks to Laurent Théry for porting this chapter.
* \|	[Sphinx] Move chapter 19 to new infrastructure	Maxime Dénès	2018-03-22
/
*	[Sphinx] Add chapter 17	Maxime Dénès	2018-03-22
\| \| \| \|	Thanks to Clément Pit-Claudel for porting this chapter.
*	[Sphinx] Move chapter 17 to new infrastructure	Maxime Dénès	2018-03-22