coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[doc] Rewrite and document the prodn directive	Clément Pit-Claudel	2018-06-19
\| \| \| \| \|	It was broken and undocumented. We dropped the git logs, too, so it wasn't clear who wrote it and why it was introduced in the first place.
*	[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] 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.