coq - The formal proof system

Age	Commit message (Expand)	Author
2018-10-29	Fix typos in the document about CIC	wkwkes
2018-10-23	Order Greek letters consistently w/rest of document	Sam Pablo Kuper
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-09-20	[doc] Fix a few LaTeX mistakes	Clément Pit-Claudel
2018-09-16	Mising prime in the subtyping rules	Joachim Breitner
2018-09-16	Missing space in cic.rst	Joachim Breitner
2018-09-13	Add doc for template polymorphism option and attributes.	Gaëtan Gilbert
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-08-27	Fix a casing problem noticed by Lars Dölle on Coq-Club.	Théo Zimmermann
2018-08-16	Merge PR #8111: Docs: Fix p values in CIC Inductive Defs examples	Maxime Dénès
2018-07-30	[sphinx] Use arguments of '.. example::' directive as a title	Clément Pit-Claudel
2018-07-22	Docs: minor typo in "Template Polymorphism"	Timothy Bourke
2018-07-22	Docs: minor typo in W-Ind relative to text	Timothy Bourke
2018-07-21	Docs: Fix p values in CIC Inductive Defs examples	Timothy Bourke
2018-07-19	Fixed some typos and grammar errors from section 'The language' of the Refere...	Zeimer
2018-07-04	doc: Fix markup in Calculus of Inductive Constructions	Fabian
2018-05-05	[sphinx] Backport changes from #5979.	Théo Zimmermann
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] Use macros for notes and examples.	Théo Zimmermann
2018-03-15	[Sphinx] Add chapter 4	Maxime Dénès
2018-03-15	[Sphinx] Move chapter 4 to new infrastructure	Maxime Dénès