coq - The formal proof system

Age	Commit message (Expand)	Author
2018-04-26	Merge PR #7331: Fix a typo in the reference manual: <; -> <:	Maxime Dénès
2018-04-26	Merge PR #7181: Sphinx docs: clarify strict implicit arguments a bit	Maxime Dénès
2018-04-23	Fix a typo in the reference manual: <; -> <:	Kazuhiko Sakaguchi
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] Fixes in chapter 2.	Théo Zimmermann
2018-04-05	Sphinx docs: clarify strict implicit arguments	Anton Trunov
2018-03-29	[Sphinx] Remove duplicate entry for command `Coercion`	Maxime Dénès
2018-03-26	[doc] Port Chapter 20 Type Classes to Sphinx	Matthieu Sozeau
2018-03-15	[Sphinx] Add chapter 2	Maxime Dénès
2018-03-15	[Sphinx] Move chapter 2 to new infrastructure	Maxime Dénès