coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin	2006-04-28
*	Nettoyage coqlib	herbelin	2005-12-30
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin	2005-12-26
*	Traduction des noms v7 de R en noms v8	herbelin	2005-12-25
*	Changement des named_context	gregoire	2005-12-02
*	Nettoyage et documentation de Library	herbelin	2005-02-06
*	IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).	sacerdot	2004-11-16
*	inclusion de meta_map dans evar_defs	barras	2004-09-12
*	Protection des accès tableau car, sur Sparc-linux, cela engendre une erreur ...	herbelin	2004-07-19
*	Nouvelle en-tête	herbelin	2004-07-16
*	code mort	herbelin	2004-03-01
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Protection contre les buts sans inegalite	herbelin	2003-11-02
*	Extension de l'utilisation de contradiction	herbelin	2003-10-19
*	Branchement sur RIneq	herbelin	2003-10-16
*	Cacher les .v8	herbelin	2003-10-03
*	Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern	herbelin	2003-05-19
*	Noms absolus	herbelin	2003-03-31
*	Ajout Simpl et Change sur des sous-termes	herbelin	2002-12-09
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	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
*	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin	2002-05-29
*	un thm de plus dans Zdiv; un retour chariot apres un message de la tactique F...	filliatr	2002-04-19
*	GROS COMMIT:	barras	2001-11-05
*	Suppression des arguments sur les constantes, inductifs et constructeurs	barras	2001-10-09
*	integration de field a fourier	mayero	2001-05-07
*	Ajout Fourier	mayero	2001-04-20