coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[ssr] document {}/view	Enrico Tassi	2018-06-22
\|
*	[ssr] document rewrite {}foo	Enrico Tassi	2018-06-22
\| \| \| \|	It was used in some examples, but never fully documented
*	[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-19
\|
*	Fix #7829: Spurious documentation failures.	Théo Zimmermann	2018-06-18
\| \| \| \|	We split a Require Import in two to avoid reaching the timeout.
*	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
\| \| \| \|	Many still remain.
*	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-06-05
\|
*	Clean-up around cmd documentation.	Théo Zimmermann	2018-05-05
\| \| \| \|	In particular, remove trailing dots.
*	[sphinx] Replace remaining `@natural` by `@num`.	Théo Zimmermann	2018-05-05
\|
*	[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-16
\|
*	[Sphinx] Fix all remaining warnings.	Maxime Dénès	2018-04-14
\|
*	[sphinx] Remove migration artefacts.	Théo Zimmermann	2018-04-11
\| \| \| \| \|	These were used very inconsistenty, serve no purpose and the link to the source is particularly useless because it's a moving target.
*	Fixed many typos and grammar errors in chapter 11 of the manual.	Zeimer	2018-04-06
\|
*	[Sphinx] Add chapter 11	Maxime Dénès	2018-03-16
	Thanks to Enrico Tassi, Assia Mahboubi, Laurence Rideau and Yves Bertot for porting this chapter.