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-09-11	[refman] Rename num to natural	Pierre Roux
2020-03-09	Remove some productionlists	Jim Fehrle
2020-02-28	Convert Gallina Vernac to use prodn	Jim Fehrle
2019-07-01	Update doc for % escapes in Sphinx doc, improve error messages	Jim Fehrle
2019-05-16	[refman] Introduce syntax for alternatives in notations	Clément Pit-Claudel
2019-02-18	[sphinx] Add abort and restart options to directive coqtop.	Théo Zimmermann
2019-01-23	Move and rewrite documentation for intro patterns that was under	Jim Fehrle
2018-12-03	Closes #9118: single backticks are made equivalent to double backticks; try t...	Théo Zimmermann
2018-09-20	[doc] Add another common mistake to the documentation-writing guide	Clément Pit-Claudel
2018-09-20	[doc] Add more common mistakes to the documentation-writing guide	Clément Pit-Claudel
2018-09-20	[doc] Add a warning about overusing the `coqtop` directive	Clément Pit-Claudel
2018-09-20	[doc] Include the rst and LaTeX preambles automatically in all files	Clément Pit-Claudel
2018-07-25	[sphinx] Add a way of skipping names in the indexes.	Théo Zimmermann
2018-05-25	[doc] Allow more than one signature and name per Sphinx object	Clément Pit-Claudel
2018-05-22	[doc] Document the new report_undocumented_coq_objects setting	Clément Pit-Claudel
2018-05-22	[doc] Add a list of common mistakes	Clément Pit-Claudel
2018-05-15	[doc] More feedback on doc writer guide	Clément Pit-Claudel
2018-05-15	[doc] Address feedback on doc writer guide	Clément Pit-Claudel
2018-05-15	[doc] Clarify a comment in the README	Clément Pit-Claudel
2018-05-15	[doc] Add an ELisp snippet to insert Sphinx roles and quotes	Clément Pit-Claudel
2018-05-15	[doc] Add a README to doc/sphinx/	Clément Pit-Claudel