coq - The formal proof system

Age	Commit message (Expand)	Author
2018-10-13	Merge PR #8616: Include the full Table of Contents document in the on-screen ...	Clément Pit-Claudel
2018-10-10	Fix names for 2 entries in Flags, Options, Tables index.	Jim Fehrle
2018-10-10	[coqlib] Rebindable Coqlib namespace.	Emilio Jesus Gallego Arias
2018-09-27	Merge PR #8475: Centralize the reliance on abstract universe context internals	Gaëtan Gilbert
2018-09-21	Universe binders are Id, not Name. Never print Var.	Gaëtan Gilbert
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	Fixed the seealso directive in a few places.	Zeimer
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-07-20	Fixed many spelling and grammar errors in the chapters 'Vernacular commands',...	Zeimer
2018-05-09	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann
2018-05-05	[sphinx] Re-indent to get much better rendering.	Théo Zimmermann
2018-05-05	Clean-up around cmd documentation.	Théo Zimmermann
2018-05-05	Remove duplicate Extraction commands documentation.	Théo Zimmermann
2018-05-05	[sphinx] Use references for Print.	Théo Zimmermann
2018-05-05	Fix error messages and make them consistent.	Théo Zimmermann
2018-05-05	Clean-up around options.	Théo Zimmermann
2018-04-16	Merge PR #7270: Sphinx doc fix indices	Maxime Dénès
2018-04-16	[Sphinx] Clean-up indices	Maxime Dénès
2018-04-16	Merge PR #7264: [Sphinx] Fix a lot of references and description of options	Maxime Dénès
2018-04-16	[Sphinx] Fix a lot of references and description of options	Maxime Dénès
2018-04-16	Document the Export Set/Unset commands.	Pierre-Marie Pédrot
2018-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-04-14	[sphinx] Fix many warnings.	Théo Zimmermann
2018-04-10	[Sphinx] Add chapter 6	Maxime Dénès
2018-04-10	[Sphinx] Move chapter 6 to new infrastructure	Maxime Dénès