coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[Sphinx] Add chapter 9.	Théo Zimmermann	2018-04-14
\| \| \| \|	Chapter ported by Théo Zimmermann and Maxime Dénès.
*	[Sphinx] Make it possible to espace { by %{ in custom grammars	Maxime Dénès	2018-04-09
\|
*	[Sphinx] Better error message for coqtop errors	Maxime Dénès	2018-03-16
\|
*	[Sphinx] Increase coqtop timeout to avoid spurious failures on CI	Maxime Dénès	2018-03-16
\|
*	[Sphinx] Add a few grammar constructions	Maxime Dénès	2018-03-12
\| \| \| \|	Code from Paul Steckler (MIT).
*	Moving Gitlab CI documentation build to the main Coq build.	Maxime Dénès	2018-03-09
\|
*	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.