coq - The formal proof system

Age	Commit message (Expand)	Author
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