coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	On cygwin, pass the filename in a format that coqdoc understands.	Jim Fehrle	2018-06-20
\|
*	[sphinx] Bump timeout. Closes #7532.	Clément Pit-Claudel	2018-05-16
\|
*	[doc] Compute the path to coqdoc at run time, not at load time	Clément Pit-Claudel	2018-05-15
\|
*	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.