coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Remove fourier plugin	Maxime Dénès	2018-07-17
\| \| \| \|	As stated in the manual, the fourier tactic is subsumed by lra.
*	Merge PR #7559: Existing Class noop when already a class + warning.	Matthieu Sozeau	2018-06-25
\|\
* \|	[doc] Use productionlist instead of prodn in ring.rst	Clément Pit-Claudel	2018-06-19
\| \|
* \|	doc: fix typo.	whitequark	2018-06-13
\| \|
\| *	Existing Class noop when already a class + warning.	Gaëtan Gilbert	2018-06-08
\|/ \| \| \|	Fix #5012.
*	Typo in documentation of Derive	Joachim Breitner	2018-05-16
\|
*	[doc] Address feedback on doc writer guide	Clément Pit-Claudel	2018-05-15
\| \| \| \|	Co-Authored-By: @Zimmi48
*	[doc] Small fixes	Clément Pit-Claudel	2018-05-15
\|
*	Merge PR #7374: [sphinx] More fatal warnings.	Maxime Dénès	2018-05-14
\|\
* \|	[sphinx] Improvements around the Show commands, including missing indices ↵	Théo Zimmermann	2018-05-09
\| \| \| \| \| \| \| \|	and indentation.
\| *	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann	2018-05-09
\|/
*	[sphinx] Improve typeclass chapter.	Théo Zimmermann	2018-05-05
\|
*	[sphinx] Re-indent to get much better rendering.	Théo Zimmermann	2018-05-05
\| \| \| \| \|	Add some more cmd references. And use deprecated directives.
*	Two more uses of verbatim in doc.	Théo Zimmermann	2018-05-05
\|
*	Clean-up around cmd documentation.	Théo Zimmermann	2018-05-05
\| \| \| \|	In particular, remove trailing dots.
*	Add some refs in the Omega chapter.	Théo Zimmermann	2018-05-05
\|
*	More fixes in the Generalized Rewriting chapter.	Théo Zimmermann	2018-05-05
\|
*	[sphinx] More use of cmd references in Extraction chapter.	Théo Zimmermann	2018-05-05
\|
*	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
\|