coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	dependent destruction: Fix (part of) bug #3961, by fixing dependent *	Matthieu Sozeau	2015-02-14
*	Fix some broken Coq scripts in the reference manual.	Guillaume Melquiond	2015-01-29
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Typo reference manual	Hugo Herbelin	2014-05-08
*	Port rewrites of tactic documentation from branch 8.4.	gmelquio	2012-09-15
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	Fixed some typos in the reference manual.	gmelquio	2009-10-29
*	Repaired bug #2165 (buggy coq example in Tactic Examples doc chapter)	herbelin	2009-10-20
*	Document new quote construction	glondu	2009-03-30
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	Fixes in the documentation of [dependent induction] and test-suite	msozeau	2009-01-22
*	A pass on documentation:	msozeau	2008-09-14
*	Typo in documentation (isn't it?)	glondu	2008-06-25
*	Debug implementation of dependent induction/dependent destruction and documen...	msozeau	2008-01-31
*	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin	2008-01-05
*	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov	2007-04-17
*	Doc for Combined Scheme.	msozeau	2006-12-23
*	Updating the doc about Function and co	courtieu	2006-09-07
*	Changements sur Functional xxx. Plus précis et plus exact.	courtieu	2006-06-07
*	Ajout de précisions dans la doc de functional scheme et consort +	courtieu	2006-06-06
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23