coq - The formal proof system

Age	Commit message (Expand)	Author
2019-05-21	Fixing typos - Part 1	JPR
2019-05-16	[refman] Introduce syntax for alternatives in notations	Clément Pit-Claudel
2018-12-04	Add undocumented options from mattam82	Jim Fehrle
2018-12-04	Document undocumented flags and options	Jim Fehrle
2018-12-03	A few fixes of unexisting tokens.	Théo Zimmermann
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	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-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-05-05	Clean-up around cmd documentation.	Théo Zimmermann
2018-05-05	[sphinx] More use of cmd references in Extraction chapter.	Théo Zimmermann
2018-05-05	Clean-up around options.	Théo Zimmermann
2018-04-14	[sphinx] Fix many warnings.	Théo Zimmermann
2018-03-29	[Sphinx] Add chapter 23	Maxime Dénès
2018-03-29	[Sphinx] Move chapter 23 to new infrastructure	Maxime Dénès