coq - The formal proof system

Age	Commit message (Expand)	Author
2020-04-22	Document `+` in polymorphic universe levels	Kenji Maillard
2020-03-19	Document all the existing attributes.	Théo Zimmermann
2020-03-09	Remove some productionlists	Jim Fehrle
2020-02-28	Convert Gallina Vernac to use prodn	Jim Fehrle
2020-01-21	Reference manual: Typos/English in chapter universe polymorphism.	Hugo Herbelin
2019-11-06	Replace "option" in doc when it refers to a flag	Jim Fehrle
2019-10-02	Loosen restrictions on mixing universe mono/polymorphism in sections	Gaëtan Gilbert
2019-09-25	Adding documentation for the move of sections data to kernel.	Pierre-Marie Pédrot
2019-07-18	Adding changelog and documentation.	Pierre-Marie Pédrot
2019-05-23	Define many undefined tokens, and other misc fixes.	Théo Zimmermann
2019-05-21	Fixing typos - Part 1	JPR
2019-02-12	Fix failing coqtops universe-polymorphism.rst	Gaëtan Gilbert
2018-11-27	Merge PR #8850: Private universes for opaque polymorphic constants.	Matthieu Sozeau
2018-11-23	Doc for Private Polymorphic Universes.	Gaëtan Gilbert
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	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-08-01	Improved grammar and spelling in the remaining chapters of the Reference Manual.	Zeimer
2018-05-09	[sphinx] Improvements around the Show commands, including missing indices and...	Théo Zimmermann
2018-05-05	Clean-up around cmd documentation.	Théo Zimmermann
2018-05-05	[sphinx] Use option direct reference.	Théo Zimmermann
2018-04-12	[Sphinx] Add chapter 29	Maxime Dénès
2018-04-11	[Sphinx] Move chapter 29 to new infrastructure	Maxime Dénès