coq - The formal proof system

Age	Commit message (Expand)	Author
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-11	Grammar entry for the ssr syntax for anonymous arguments.	Assia Mahboubi
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-08-29	[sphinx] Fix timeout issue by splitting imports.	Théo Zimmermann
2018-07-30	[sphinx] Use arguments of '.. example::' directive as a title	Clément Pit-Claudel
2018-06-22	[ssr] document {}/view	Enrico Tassi
2018-06-22	[ssr] document rewrite {}foo	Enrico Tassi
2018-06-19	[doc] Fix a typo in the ssreflect chapter	Clément Pit-Claudel
2018-06-19	[doc] Fix uncaught duplicate-label errors in the SSReflect chapter	Clément Pit-Claudel
2018-06-18	Fix #7829: Spurious documentation failures.	Théo Zimmermann
2018-06-05	Improve links to SSR tactics, and some other improvements.	Théo Zimmermann
2018-06-05	Workaround a weird error of .. coqtop::	Théo Zimmermann
2018-06-05	Remove many abusive .. coqtop in SSR chapter.	Théo Zimmermann
2018-06-05	A few additional small fixes.	Théo Zimmermann
2018-06-05	[sphinx] Fix missing indices warnings.	Théo Zimmermann
2018-06-05	[ssr] index entry for "without loss", "suffices" and "generally have"	Enrico Tassi
2018-06-05	[ssr] some fixes to the documentation markup	Enrico Tassi
2018-06-05	[sphinx] Start fixing SSR chapter.	Théo Zimmermann
2018-05-05	Clean-up around cmd documentation.	Théo Zimmermann
2018-05-05	[sphinx] Replace remaining `@natural` by `@num`.	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-11	[sphinx] Remove migration artefacts.	Théo Zimmermann
2018-04-06	Fixed many typos and grammar errors in chapter 11 of the manual.	Zeimer
2018-03-16	[Sphinx] Add chapter 11	Maxime Dénès