coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Add introduction and credits to the TOC.	Théo Zimmermann	2018-06-17
\| \| \| \|	Move credits to its own chapter (closes #6573).
*	[doc] Disable smartquotes conversion	Clément Pit-Claudel	2018-06-08
\| \| \| \|	Closes GH-7742.
*	[doc] Add a setting to warn about empty Coq objects	Clément Pit-Claudel	2018-05-22
\|
*	[doc] Add a README to doc/sphinx/	Clément Pit-Claudel	2018-05-15
\| \| \| \| \|	The readme is auto-generated by combining introductory text with the docstrings in coqdomain.py.
*	[Sphinx] Add credits	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add introduction	Maxime Dénès	2018-03-13
\| \| \| \|	I backported changes done to the LaTeX manual.
*	[Sphinx] Add "edit on github"	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Update some metadata	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Read version number from configure	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Comment out metadata for unused backends	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Remove information for .chm backend	Maxime Dénès	2018-03-13
\|
*	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.