coq - The formal proof system

Age	Commit message (Expand)	Author
2020-12-30	Convert rewriting and proof-mode chapters to prodn	Jim Fehrle
2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-03-19	[refman] Move chapters into new structure.	Théo Zimmermann
2019-12-22	Apply suggestions from code review	Théo Zimmermann
2019-12-22	[refman] Mention Ltac2 in intro.	Théo Zimmermann
2018-10-10	Include all menu entries in the menu/short TOC so that users can view	Jim Fehrle
2018-09-25	Fix title of Introduction chapter in HTML version.	Théo Zimmermann
2018-09-20	[doc] Move a citation back into the introduction	Clément Pit-Claudel
2018-09-20	[doc] Include the rst and LaTeX preambles automatically in all files	Clément Pit-Claudel
2018-09-20	[doc] Create a separate index file for the LaTeX build	Clément Pit-Claudel
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-07-12	Fixed typos, wording and grammar errors in the Preamble of the Reference Manu...	Zeimer
2018-06-26	Merge PR #7851: Modernize the introduction of the reference manual.	Maxime Dénès
2018-06-24	Merge PR #7784: Remove Tutorials from a few other places following #7466.	Maxime Dénès
2018-06-20	Mention Company-Coq as well.	Théo Zimmermann
2018-06-20	Add a good reference for Proof-General as suggested by Clément.	Théo Zimmermann
2018-06-20	Modernize the introduction of the reference manual.	Théo Zimmermann
2018-06-17	Remove Tutorial from Additional documentation in refman intro.	Théo Zimmermann
2018-06-17	Add introduction and credits to the TOC.	Théo Zimmermann
2018-05-10	Suggest going to /documentation to see a list of tutorials.	Théo Zimmermann
2018-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-04-11	Remove empty reference to the current version of Coq.	Théo Zimmermann
2018-03-13	[Sphinx] Add introduction	Maxime Dénès
2018-03-13	[Sphinx] Move introduction to new infrastructure	Maxime Dénès