coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Fix error messages and make them consistent.	Théo Zimmermann	2018-05-05
\| \| \| \|	All the error messages start with a capitalized letter and end with a dot.
*	Clean-up around options.	Théo Zimmermann	2018-05-05
\| \| \| \| \| \|	- Remove all trailing dots. - There is only one Bullet Behavior option. - Replaces `@natural` and `@integer` by `@num`.
*	Fix failing example in refman.	Théo Zimmermann	2018-05-05
\|
*	[sphinx] Fix some references.	Théo Zimmermann	2018-05-05
\|
*	[sphinx] Use option direct reference.	Théo Zimmermann	2018-05-05
\|
*	Fix typo in Coercions chapter.	Théo Zimmermann	2018-05-05
\|
*	[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
\| \| \| \| \|	Including cross-reference TODOs. I took down the number of warnings from 300 to 50.
*	Merge PR #7117: Sphinx doc chapter 29	Théo Zimmermann	2018-04-13
\|\
\| *	[Sphinx] Add chapter 29	Maxime Dénès	2018-04-12
\| \| \| \| \| \| \| \| \| \| \| \|	Thanks to Clément Pit Claudel for porting this chapter. Backport universe polymorphism changes from 2017 and 2018.
* \|	[sphinx] Remove migration artefacts.	Théo Zimmermann	2018-04-11
\| \| \| \| \| \| \| \| \| \|	These were used very inconsistenty, serve no purpose and the link to the source is particularly useless because it's a moving target.
\| *	[Sphinx] Move chapter 29 to new infrastructure	Maxime Dénès	2018-04-11
\|/
*	[Sphinx] Add chapter 30	Maxime Dénès	2018-04-05
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 30 to new infrastructure	Maxime Dénès	2018-04-05
\|
*	[Sphinx] Add chapter 28	Maxime Dénès	2018-04-04
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 28 to new infrastructure	Maxime Dénès	2018-04-04
\|
*	[Sphinx] Add chapter 27	Maxime Dénès	2018-03-30
\| \| \| \|	Thanks to Calvin Beck for porting this chapter.
*	[Sphinx] Move chapter 27 to new infrastructure	Maxime Dénès	2018-03-30
\|
*	[Sphinx] Add chapter 25	Maxime Dénès	2018-03-30
\| \| \| \|	Thanks to Laurent Théry for porting this chapter.
*	[Sphinx] Move chapter 25 to new infrastructure	Maxime Dénès	2018-03-30
\|
*	[Sphinx] Add chapter 26	Maxime Dénès	2018-03-29
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 26 to new infrastructure	Maxime Dénès	2018-03-29
\|
*	[Sphinx] Add chapter 24	Maxime Dénès	2018-03-29
\| \| \| \|	Thanks to Matthieu Sozeau for porting this chapter.
*	[Sphinx] Move chapter 24 to new infrastructure	Maxime Dénès	2018-03-29
\|
*	[Sphinx] Add chapter 23	Maxime Dénès	2018-03-29
\| \| \| \|	Thanks to Pierre Letouzey for porting this chapter.
*	[Sphinx] Move chapter 23 to new infrastructure	Maxime Dénès	2018-03-29
\|
*	[Sphinx] Add chapter 18	Maxime Dénès	2018-03-29
\| \| \| \|	Thanks to Pierre Letouzey for porting this chapter.
*	[Sphinx] Move chapter 18 to new infrastructure	Maxime Dénès	2018-03-29
\|
*	[doc] Port Chapter 20 Type Classes to Sphinx	Matthieu Sozeau	2018-03-26
\|
*	Move Classes.tex to type-classes.rst	Matthieu Sozeau	2018-03-26
\|
*	Merge branch 'master' into sphinx-doc-chapter-22	Guillaume Melquiond	2018-03-22
\|\
\| *	Merge branch 'master' into sphinx-doc-chapter-21	Guillaume Melquiond	2018-03-22
\| \|\
\| \| *	Merge branch 'master' into sphinx-doc-chapter-19	Guillaume Melquiond	2018-03-22
\| \| \|\
* \| \| \|	[Sphinx] Add chapter 22	Maxime Dénès	2018-03-22
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Thanks to Paul Steckler for porting this chapter.
* \| \| \|	[Sphinx] Move chapter 22 to new infrastructure	Maxime Dénès	2018-03-22
/ / /
* \| \|	[Sphinx] Add chapter 21	Maxime Dénès	2018-03-22
\| \| \| \| \| \| \| \| \| \| \| \|	Thanks to Pierre Letouzey for porting this chapter.
* \| \|	[Sphinx] Move chapter 21 to new infrastructure	Maxime Dénès	2018-03-22
/ /
* \|	[Sphinx] Add chapter 19	Maxime Dénès	2018-03-22
\| \| \| \| \| \| \| \|	Thanks to Laurent Théry for porting this chapter.
* \|	[Sphinx] Move chapter 19 to new infrastructure	Maxime Dénès	2018-03-22
/
*	[Sphinx] Add chapter 17	Maxime Dénès	2018-03-22
\| \| \| \|	Thanks to Clément Pit-Claudel for porting this chapter.
*	[Sphinx] Move chapter 17 to new infrastructure	Maxime Dénès	2018-03-22