coq - the Coq proof assistant

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