coq - The formal proof system

Age	Commit message (Expand)	Author
2003-06-08	Tables logarithmiques pour les coercions + nettoyage	herbelin
2003-04-09	Réorganisation de Impargs + mise en place d'une infrastructure	herbelin
2003-03-12	* empty log message *	barras
2003-02-27	Nouvelle syntaxe style 'Inductive color : Set := black, blue, white : color'...	herbelin
2003-01-31	Pour satisfaire ProofGeneral	coq
2003-01-27	Deux p\'tits trucs ;)	coq
2002-12-19	Petit netoyage dans lib	coq
2002-12-13	possibilité de faire Print M avec M module ou modtype au lieu de Print Modul...	letouzey
2002-12-03	la table PARAMETER n'existe plus (mergé dans la table CONSTANT)	letouzey
2002-11-26	Réaffichage des Syntactic Definition (printer constr_expr).	herbelin
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-10-28	Des critères plus fins d'analyse des implicites automatiques; meilleur affic...	herbelin
2002-10-12	Restriction sur la forme des Syntactic Definition et re-localisation en fonct...	herbelin
2002-10-07	Lazy manuelles dans le code	coq
2002-10-05	Lazy experimentale temporaire...	coq
2002-08-19	Pretty-printing preliminaire des modules, commandes	coq
2002-08-16	Strengthenning rules for modules + No modules in sections	coq
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2002-04-16	Typo	herbelin
2001-12-21	Bug affichage '++' au lieu de ';'	herbelin
2001-12-18	affichage correct du type des inductifs et constructeurs en presence	barras
2001-12-13	compat ocaml 3.03	filliatr
2001-11-05	GROS COMMIT:	barras
2001-10-17	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin
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-24	Marre des unrecognized objects	herbelin
2001-09-20	Amélioration affichage de print_leaf_entry	herbelin
2001-09-20	Transparent	barras
2001-09-19	Ajout de la profondeur de section à DischargeAt pour gérer l'«open» et le...	herbelin
2001-09-06	Rétablissement de Print Section	herbelin
2001-08-10	Parsing	herbelin
2001-05-28	Pretty -> Prettyp	filliatr