coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	Getting rid of the previous implementation of setoid_rewrite which was	msozeau	2009-01-18
*	Switched to "standardized" names for the properties of eq and	herbelin	2009-01-01
*	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey	2008-12-16
*	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)	herbelin	2008-06-10
*	Adding 'at' to rewrite, as it is already implemented in setoid_rewrite.	msozeau	2008-04-12
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Factorisation des opérations sur le type option de Util dans un module	aspiwack	2007-12-05
*	commit de field + renommages	barras	2006-09-26
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin	2005-12-26
*	Changement des named_context	gregoire	2005-12-02
*	Nettoyage et documentation de Library	herbelin	2005-02-06
*	Implemented a test for "Add [Semi] Setoid Ring" to check that the given	sacerdot	2005-02-03
*	Trivial bug fixed in "Add [Semi] Setoid Ring". An "&" in place of an "\|\|"	sacerdot	2005-02-03
*	setoid_rewrite t; [tac]	sacerdot	2005-02-02
*	Names.substitution (and related functions) and Term.subst_mps moved to	sacerdot	2004-11-16
*	IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).	sacerdot	2004-11-16
*	cutrewrite does not work with relations that are not Coq-like equalities.	sacerdot	2004-09-30
*	New syntax	sacerdot	2004-09-29
*	The old implementation of (setoid_replace c1 with c2) used to replace	sacerdot	2004-09-03
*	Setoid_replace.setoid_replace: last argument (that was supposed to be	sacerdot	2004-07-23
*	correction d'un bug de la tactique pour les semi setoid rings.	clrenard	2004-07-22
*	Nouvelle en-tête	herbelin	2004-07-16
*	Correction du bug 335 et Export/Require Export dans un module	coq	2003-10-07
*	distinguer interp_cs et interp_setcs	letouzey	2003-10-06
*	oups	letouzey	2003-09-28
*	2 pbs de plus réglés concernant Setoid Ring:	letouzey	2003-09-28
*	Un peu plus de souplesse dans la globalisation des noms utilises par les tact...	herbelin	2003-09-26
*	suite (et fin) reparation Setoid Ring	letouzey	2003-09-22
*	tentative de rafraichissement de Setoid Ring	letouzey	2003-09-22
*	factorisation des "constant" dans les contrib/* ( maintenant dans coqlib )	corbinea	2003-03-31
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Reparation de ring pour les setoides	clrenard	2002-06-19
*	Protection des tactiques contre l'utilisation sans le bon contexte de thories	herbelin	2002-06-03
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Suppression de l'application de f_equal2 pour "mult" (non inversible);	herbelin	2002-04-05
*	reparation semi setoid ring	clrenard	2002-03-14
*	compat ocaml 3.03	filliatr	2001-12-13
*	nouvel algo de conversion plus uniforme	barras	2001-11-29
*	GROS COMMIT:	barras	2001-11-05
*	Parsing	herbelin	2001-08-10
*	Ajout d'un Ring pour setoides	clrenard	2001-07-10
*	Nettoyage/restructuration des ensembles d'indicateurs de réductions	herbelin	2001-07-02
*	patch Claudio	filliatr	2001-05-28
*	réparation Ring (simplifications)	filliatr	2001-05-14
*	entetes	filliatr	2001-03-15
*	Déplacement de qualid dans Nametab, hors du noyau	herbelin	2001-03-01