coq - The formal proof system

Age	Commit message (Expand)	Author
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