coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	gitlab: build sphinx doc in separate job	Gaëtan Gilbert	2018-06-08
\|
*	[doc] Search for 'coqtop' in $PATH if COQBIN is unset	Clément Pit-Claudel	2018-05-15
\|
*	[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
\|
*	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.