coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[doc] Allow more than one signature and name per Sphinx object	Clément Pit-Claudel	2018-05-25
\| \| \| \|	As discussed in GH-7556.
*	[doc] Document the new report_undocumented_coq_objects setting	Clément Pit-Claudel	2018-05-22
\|
*	[doc] Add a list of common mistakes	Clément Pit-Claudel	2018-05-22
\|
*	[doc] More feedback on doc writer guide	Clément Pit-Claudel	2018-05-15
\| \| \| \|	Co-Authored-By: @Zimmi48
*	[doc] Address feedback on doc writer guide	Clément Pit-Claudel	2018-05-15
\| \| \| \|	Co-Authored-By: @Zimmi48
*	[doc] Clarify a comment in the README	Clément Pit-Claudel	2018-05-15
\|
*	[doc] Add an ELisp snippet to insert Sphinx roles and quotes	Clément Pit-Claudel	2018-05-15
\|
*	[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.