coq - The formal proof system

Age	Commit message (Expand)	Author
2019-03-28	Merge PR #9743: Relax the ambiguous path condition of coercion	Enrico Tassi
2019-03-25	Remove `Automatic Coercions Import` option.	Maxime Dénès
2019-03-18	Update doc and changes	Kazuhiko Sakaguchi
2019-02-11	Small typos in the documentation.	Martin Bodin
2019-01-22	Remove unneeded \| in productionlists	Jim Fehrle
2018-12-03	A few fixes of unexisting tokens.	Théo Zimmermann
2018-12-03	Closes #9118: single backticks are made equivalent to double backticks; try t...	Théo Zimmermann
2018-11-30	Add indexes for coercion / substructure symbol :>.	Théo Zimmermann
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-09-07	Warnings on coercions used without being Imported	Maxime Dénès
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-07-26	Improved chapters 'Implicit Coercions' and 'Canonical Structures' of the Refe...	Zeimer
2018-05-15	[doc] Address feedback on doc writer guide	Clément Pit-Claudel
2018-05-09	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann
2018-05-05	Clean-up around cmd documentation.	Théo Zimmermann
2018-05-05	Fix error messages and make them consistent.	Théo Zimmermann
2018-05-05	Fix typo in Coercions chapter.	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-03-29	[Sphinx] Add chapter 18	Maxime Dénès
2018-03-29	[Sphinx] Move chapter 18 to new infrastructure	Maxime Dénès