coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Documenting the syntax of mutual keywords.	Pierre-Marie Pédrot	2018-06-24
*	[sphinx] Finish clean-up of the Canonical Structure subsection.	Théo Zimmermann	2018-06-16
*	doc: Add "Print Canonical Projections" command to Command index	Anton Trunov	2018-06-16
*	Documenting the deprecation.	Pierre-Marie Pédrot	2018-06-04
*	Improve the last section of the Gallina chapter.	Théo Zimmermann	2018-05-28
*	Chapter 1 of the refman compiles without reporting any undocumented object.	Théo Zimmermann	2018-05-28
*	Improve sections on (Co)Fixpoint of the Gallina chapter.	Théo Zimmermann	2018-05-28
*	Improve subsection on co-inductive types of the Gallina chapter.	Théo Zimmermann	2018-05-27
*	Improve subsection on mutual inductive types of the Gallina chapter.	Théo Zimmermann	2018-05-27
*	Move 'new in Coq 8.1' subsection to an appropriate place.	Théo Zimmermann	2018-05-27
*	Document Variant properly.	Théo Zimmermann	2018-05-27
*	Improve inductive types subsection of the Gallina chapter.	Théo Zimmermann	2018-05-27
*	Improve subsection Definitions of the Gallina chapter.	Théo Zimmermann	2018-05-26
*	Improve subsection Assumptions of the Gallina chapter.	Théo Zimmermann	2018-05-26
*	Improve the section Terms of the Gallina chapter.	Théo Zimmermann	2018-05-26
*	[doc] Allow more than one signature and name per Sphinx object	Clément Pit-Claudel	2018-05-25
*	Document the new nested-proof error message.	Théo Zimmermann	2018-05-21
*	Document nested proofs and associated option.	Théo Zimmermann	2018-05-17
*	[doc] Address feedback on doc writer guide	Clément Pit-Claudel	2018-05-15
*	Remove duplicate entries for Proof, Qed, Defined, Admitted.	Théo Zimmermann	2018-05-14
*	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann	2018-05-09
*	[sphinx] Backport changes from #5979.	Théo Zimmermann	2018-05-05
*	Clean-up around cmd documentation.	Théo Zimmermann	2018-05-05
*	Fix error messages and make them consistent.	Théo Zimmermann	2018-05-05
*	Clean-up around options.	Théo Zimmermann	2018-05-05
*	[sphinx] Fix some references.	Théo Zimmermann	2018-05-05
*	Merge PR #7331: Fix a typo in the reference manual: <; -> <:	Maxime Dénès	2018-04-26
\|\
* \	Merge PR #7181: Sphinx docs: clarify strict implicit arguments a bit	Maxime Dénès	2018-04-26
\|\ \
\| \| *	Fix a typo in the reference manual: <; -> <:	Kazuhiko Sakaguchi	2018-04-23
\| \|/ \|/\|
* \|	[Sphinx] Clean-up indices	Maxime Dénès	2018-04-16
* \|	[Sphinx] Fix a lot of references and description of options	Maxime Dénès	2018-04-16
* \|	[Sphinx] Fix all remaining warnings.	Maxime Dénès	2018-04-14
* \|	[sphinx] Fix many warnings.	Théo Zimmermann	2018-04-14
* \|	[Sphinx] Add Chapter 1	Maxime Dénès	2018-04-13
* \|	[Sphinx] Move chapter 1 to new infrastructure	Maxime Dénès	2018-04-13
* \|	Merge PR #7222: [sphinx] Remove migration artefacts.	Maxime Dénès	2018-04-12
\|\ \
\| * \|	[sphinx] Remove migration artefacts.	Théo Zimmermann	2018-04-11
* \| \|	[sphinx] Use macros for notes and examples.	Théo Zimmermann	2018-04-11
* \| \|	[sphinx] Fixes in chapter 2.	Théo Zimmermann	2018-04-11
\|/ /
\| *	Sphinx docs: clarify strict implicit arguments	Anton Trunov	2018-04-05
\|/
*	[Sphinx] Remove duplicate entry for command `Coercion`	Maxime Dénès	2018-03-29
*	[doc] Port Chapter 20 Type Classes to Sphinx	Matthieu Sozeau	2018-03-26
*	[Sphinx] Add chapter 3	Maxime Dénès	2018-03-15
*	[Sphinx] Move chapter 3 to new infrastructure	Maxime Dénès	2018-03-15
*	[Sphinx] Add chapter 5	Maxime Dénès	2018-03-15
*	[Sphinx] Move chapter 5 to new infrastructure	Maxime Dénès	2018-03-15
*	[Sphinx] Add chapter 4	Maxime Dénès	2018-03-15
*	[Sphinx] Move chapter 4 to new infrastructure	Maxime Dénès	2018-03-15
*	[Sphinx] Add chapter 2	Maxime Dénès	2018-03-15
*	[Sphinx] Move chapter 2 to new infrastructure	Maxime Dénès	2018-03-15