coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-14	Makefile: ml dependencies of contribs are moved to .mllib files	letouzey
2009-01-01	Switched to "standardized" names for the properties of eq and	herbelin
2008-12-16	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey
2008-12-09	About "apply in":	herbelin
2008-04-14	Diverses corrections	herbelin
2008-03-23	Une passe sur les réels:	herbelin
2008-03-14	kill a warning (and clean the code around)	letouzey
2007-08-27	Suppression des type_app et body_of_type qui alourdissent inutilement le code	herbelin
2006-09-26	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras
2006-04-28	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin
2005-12-30	Nettoyage coqlib	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin
2005-12-25	Traduction des noms v7 de R en noms v8	herbelin
2005-12-02	Changement des named_context	gregoire
2005-02-06	Nettoyage et documentation de Library	herbelin
2004-11-16	IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).	sacerdot
2004-09-12	inclusion de meta_map dans evar_defs	barras
2004-07-19	Protection des accès tableau car, sur Sparc-linux, cela engendre une erreur ...	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-03-01	code mort	herbelin
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-11-02	Protection contre les buts sans inegalite	herbelin
2003-10-19	Extension de l'utilisation de contradiction	herbelin
2003-10-16	Branchement sur RIneq	herbelin
2003-10-03	Cacher les .v8	herbelin
2003-05-19	Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern	herbelin
2003-03-31	Noms absolus	herbelin
2002-12-09	Ajout Simpl et Change sur des sous-termes	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-06-03	Protection des tactiques contre l'utilisation sans le bon contexte de thories	herbelin
2002-05-29	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-04-19	un thm de plus dans Zdiv; un retour chariot apres un message de la tactique F...	filliatr
2001-11-05	GROS COMMIT:	barras
2001-10-09	Suppression des arguments sur les constantes, inductifs et constructeurs	barras
2001-05-07	integration de field a fourier	mayero
2001-04-20	Ajout Fourier	mayero