coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Minor update of the documentation/man about the resource file.	Hugo Herbelin	2018-05-16
\|
*	[sphinx] Fix a typo that appeared during the migration.	Théo Zimmermann	2018-05-05
\|
*	[Sphinx] Fix all remaining warnings.	Maxime Dénès	2018-04-14
\|
*	[sphinx] Fix many warnings.	Théo Zimmermann	2018-04-14
\| \| \| \| \|	Including cross-reference TODOs. I took down the number of warnings from 300 to 50.
*	[Sphinx] Add chapter 14	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 14 to new infrastructure	Maxime Dénès	2018-03-15