coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ltac] Warning for deprecated `Add Setoid` and `Add Morphism` forms.	Emilio Jesus Gallego Arias	2017-10-05
*	An example which failed in 8.5 and that d670c6b6 fixes.	Hugo Herbelin	2016-04-07
*	Fixing an incorrect use of prod_appvect on a term which was not a	Hugo Herbelin	2016-03-28
*	admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)	Enrico Tassi	2015-03-11
*	Fix [setoid_rewrite] forgetting some evars that are produced when typecheckin...	msozeau	2013-06-10
*	Kills the useless tactic annotations "in \|- *"	letouzey	2012-07-05
*	Fix inductive_template building ill-typed evars, and update test-suite scripts	msozeau	2011-03-13
*	Fix test-suite script.	msozeau	2011-02-21
*	Correct handling of existential variables when multiple different	msozeau	2011-02-08
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Uniformisation of some error messages + added test on setoid rewrite.	herbelin	2009-01-07
*	Fix setoid tests, use red for a Setoid_Theory lemma, and Parametric	msozeau	2008-04-14
*	New implementation of Add Relation as a DefaultRelation instance	msozeau	2008-03-08
*	Fix bugs that were reopened due to the change of setoid	msozeau	2008-03-08
*	Test de non-régression pour commit 9673	herbelin	2007-03-15
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-21
*	* setoid_test.v removed and added again in new syntax	sacerdot	2004-09-03
*	ajout d'un fichier test pour setoides	clrenard	2001-09-25