coq - The formal proof system

Age	Commit message (Expand)	Author
2019-03-18	[Manual] Move command Context after Let, and more polishing	Lysxia
2019-03-17	[Manual] Move doc on Let into Section mechanism, and more polishing	Lysxia
2019-03-17	[Manual] Gather section-specific commands in Section documentation (fix #9704)	Lysxia
2019-03-17	[Manual] Improve chapter Type classes, and add mention of Context under Variable	Lysxia
2019-02-18	Fix doc for Refine Instance Mode	Gaëtan Gilbert
2019-02-18	Fix failing coqtops in type-classes.rst	Gaëtan Gilbert
2018-12-04	Add undocumented options from mattam82	Jim Fehrle
2018-12-04	Document undocumented flags and options	Jim Fehrle
2018-11-30	Add indexes for coercion / substructure symbol :>.	Théo Zimmermann
2018-11-27	[Typeclasses] Warn when RHS of `:>` is not a class	Vincent Laporte
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	Fixed the seealso directive in a few places.	Zeimer
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-08-01	Improved grammar and spelling in chapters 'Type Classes', 'Omega' and 'Microm...	Zeimer
2018-06-08	Existing Class noop when already a class + warning.	Gaëtan Gilbert
2018-05-05	[sphinx] Improve typeclass chapter.	Théo Zimmermann
2018-05-05	Clean-up around cmd documentation.	Théo Zimmermann
2018-04-16	[Sphinx] Clean-up indices	Maxime Dénès
2018-04-16	[Sphinx] Fix a lot of references and description of options	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-04-11	[sphinx] Remove migration artefacts.	Théo Zimmermann
2018-03-26	[doc] Port Chapter 20 Type Classes to Sphinx	Matthieu Sozeau
2018-03-26	Move Classes.tex to type-classes.rst	Matthieu Sozeau