coq - The formal proof system

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