coq - The formal proof system

Age	Commit message (Expand)	Author
2019-05-23	Define many undefined tokens, and other misc fixes.	Théo Zimmermann
2019-03-29	typo in ring.rst	thery
2019-02-12	Fix failing coqtops in ring.rst	Gaëtan Gilbert
2019-01-22	Remove unneeded \| in productionlists	Jim Fehrle
2018-12-03	Closes #9118: single backticks are made equivalent to double backticks; try t...	Théo Zimmermann
2018-11-21	[sphinx] Progress towards closing #7602: remove most objects without a body.	Théo Zimmermann
2018-09-20	[doc] Include the rst and LaTeX preambles automatically in all files	Clément Pit-Claudel
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-07-29	Improved grammar and spelling in chapters 'Extraction', 'Program' and 'ring a...	Zeimer
2018-06-19	[doc] Use productionlist instead of prodn in ring.rst	Clément Pit-Claudel
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-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-03-30	[Sphinx] Add chapter 25	Maxime Dénès
2018-03-30	[Sphinx] Move chapter 25 to new infrastructure	Maxime Dénès