coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	doc: typesetting and hyperlinks in Syntax Extensions	Lysxia	2018-06-30
\|
*	[doc] Small fixes	Clément Pit-Claudel	2018-05-15
\|
*	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann	2018-05-09
\|
*	[sphinx] Fix a hardcoded reference.	Théo Zimmermann	2018-05-05
\|
*	[Sphinx] Clean-up indices	Maxime Dénès	2018-04-16
\|
*	[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.
*	Translation fixes in chapter syntax extensions.	Hugo Herbelin	2018-04-09
\|
*	[Sphinx] Add chapter 13	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 13 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add chapter 12	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Clément Pit-Claudel for porting this chapter.
*	[Sphinx] Move chapter 12 to new infrastructure	Maxime Dénès	2018-03-15