coq - The formal proof system

Age	Commit message (Expand)	Author
2020-05-16	Add redirects for HTML pages that were moved.	Théo Zimmermann
2020-05-14	Move extended pattern matching to new location.	Théo Zimmermann
2020-03-12	Update doc/sphinx/addendum/extended-pattern-matching.rst	larsr
2020-03-12	Fixed link to "match" syntax.	larsr
2019-12-28	Convert productionlists to prodns	Jim Fehrle
2019-11-20	Update grammar in the Terms section of Gallina chapter	Jim Fehrle
2019-05-23	do not parse `\|` as infix in patterns; parse `\|}` as `\|` `}`	Georges Gonthier
2019-03-13	[refman] Fix other newly emitted warnings.	Théo Zimmermann
2019-02-14	[Manual] Fix a reference	Vincent Laporte
2019-02-12	Fix failing coqtops in extended-pattern-matching.rst	Gaëtan Gilbert
2018-12-03	A few fixes of unexisting tokens.	Théo Zimmermann
2018-09-20	Rewrite "Flags, Options and Tables" section.	Jim Fehrle
2018-09-20	[doc] Include the rst and LaTeX preambles automatically in all files	Clément Pit-Claudel
2018-09-07	Recover lost snippet	Matěj G
2018-08-01	Improved grammar and spelling in chapter 'Extended pattern matching' of the R...	Zeimer
2018-05-05	Two more uses of verbatim in doc.	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	Fix failing example in refman.	Théo Zimmermann
2018-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-03-22	[Sphinx] Add chapter 17	Maxime Dénès
2018-03-22	[Sphinx] Move chapter 17 to new infrastructure	Maxime Dénès