coq - The formal proof system

Age	Commit message (Expand)	Author
2009-01-17	DISCLAIMER	puech
2008-12-29	- Added support for subterm matching in SearchAbout.	herbelin
2008-10-11	Backporting 11445 from 8.2 to trunk (negative conditions in	herbelin
2008-07-17	Uniformisation du format des messages d'erreur (commencent par une	herbelin
2008-04-23	Prise en compte des coercions dans les clauses "with" même si le type	herbelin
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-11-05	Suppress from the ouputs of SearchAbout all lemmas generated by "abstract"	letouzey
2006-10-28	Extension du polymorphisme de sorte au cas des définitions dans Type.	herbelin
2006-01-11	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin
2005-12-02	Changement des named_context	gregoire
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2005-02-20	Keep ClosedSection marker for reset	herbelin
2005-02-18	Standardisation of function names about global references (especially, renami...	herbelin
2005-01-14	Inductive.{type_of_inductive,type_of_constructor,arities_of_specif} changed	sacerdot
2004-07-16	Nouvelle en-tête	herbelin
2003-11-10	Suppression SearchNamed finalement redondant avec SearchAbout	herbelin
2003-10-23	Independance de grammar.cmo vis a vis de Search	herbelin
2003-10-22	Integration de SearchNamed dans SearchAbout	herbelin
2003-10-16	Bug Search	herbelin
2003-10-13	Ajout d'une fonction de recherche sur les composantes du nom des objets	herbelin
2003-04-07	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin
2003-03-12	* empty log message *	barras
2003-01-22	I changed the interface to make sure SearchAbout is defined according to	bertot
2003-01-06	SearchAbout	filliatr
2002-12-03	la table PARAMETER n'existe plus (mergé dans la table CONSTANT)	letouzey
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
2001-12-13	compat ocaml 3.03	filliatr
2001-11-05	GROS COMMIT:	barras
2001-10-11	Suppression option immediate_discharge; nettoyage de Declare et conséquences	herbelin
2001-10-09	Suppression des arguments sur les constantes, inductifs et constructeurs	barras
2001-09-20	Transparent	barras
2001-09-14	Search prenait en compte le contenu des sections alors que celui-ci n'existe ...	herbelin
2001-08-10	Parsing	herbelin
2001-05-28	Pretty -> Prettyp	filliatr
2001-04-10	Modified searchPattern. Before this correction, constructors were overlooked,	bertot
2001-03-15	entetes	filliatr
2001-02-16	Suppression sp_of_id	herbelin
2001-02-09	Several pairs of different functions actually had the same name, so	bertot
2000-12-16	Prise en compte modules/sections qualifiés dans SearchPattern et SearchRewrite	herbelin
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
2000-12-06	Modif rapide pour prise en compte eqT	herbelin
2000-12-06	MAJ nom long de eq	herbelin
2000-11-24	SearchPattern et SearchRewrite	filliatr