coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
2020-10-24	Convert misc chapters to prodn	Jim Fehrle
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-09-27	Reduce nitpick_ignore list a little.	Théo Zimmermann
2020-04-20	Remove Functional Scheme from Scheme chapter.	Théo Zimmermann
2020-02-28	Convert Gallina Vernac to use prodn	Jim Fehrle
2019-11-06	Replace "option" in doc when it refers to a flag	Jim Fehrle
2019-05-19	[refman] Misc fixes (indentation, whitespace, notation syntax)	Clément Pit-Claudel
2018-11-21	[sphinx] Progress towards closing #7602: remove most objects without a body.	Théo Zimmermann
2018-11-19	Typo: comment does not match code	Olivier Laurent
2018-09-26	Combined Scheme tests sort to use either "*" or "/\"	Théo Winterhalter
2018-09-20	Rewrite "Flags, Options and Tables" section.	Jim Fehrle
2018-08-01	Improved grammar and spelling in chapters 'Proof Schemes' and 'The Coq comman...	Zeimer
2018-05-15	[doc] Small fixes	Clément Pit-Claudel
2018-05-09	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann
2018-04-16	[Sphinx] Clean-up indices	Maxime Dénès
2018-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-04-14	[sphinx] Fix many warnings.	Théo Zimmermann
2018-03-15	[Sphinx] Add chapter 13	Maxime Dénès
2018-03-15	[Sphinx] Move chapter 13 to new infrastructure	Maxime Dénès