coq - The formal proof system

Age	Commit message (Expand)	Author
2005-12-26	Renommage des Ppnew en Pp (et déplacement dans parsing); renommage des G_*...	herbelin
2004-12-24	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2003-11-19	Distinction entre 'as _' qui cache le terme filtre (si variable) et rien dans...	herbelin
2003-10-10	Delimiters N devient 'nat'	herbelin
2003-09-12	Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...	herbelin
2003-08-11	Nouvelle mouture du traducteur v7->v8	herbelin
2003-03-12	* empty log message *	barras
2002-12-15	Meilleure factorisation des entrées NEXT internes	herbelin
2002-11-28	Essai d'une autre syntaxe pour la dlimitation des scopes	herbelin
2002-11-26	Réaffichage des Syntactic Definition (printer constr_expr).	herbelin
2002-11-24	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin
2002-11-15	Bug factorisation grammaire	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-07	Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...	herbelin
2002-10-13	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin
2002-06-19	Coercion de la syntaxe des motifs non atomiques	herbelin
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2001-12-19	Modif précédente trop violente (cf test-suite/success/CasesDep.v)	herbelin
2001-12-18	parsing des branches de Cases au niveau lconstr (au lieu de constr)	barras
2001-08-10	Parsing	herbelin
2001-03-15	entetes	filliatr
2001-01-19	Prise en compte de constructeurs qualifiés dans les patterns	herbelin
2001-01-19	Réparation bug extensibilité de Constr.pattern	herbelin
2000-12-14	Autorisation de parenthèses autour des constructeurs dans le filtrage	herbelin
2000-11-03	compilation des fichiers ml4 sans GNUseries	filliatr
2000-08-20	Bug dans le filtrage des paires, nettoyage	herbelin
2000-01-07	MAJ	herbelin
1999-12-11	Intégration initiale du Cases	herbelin
1999-12-01	Renommage de g_multiple_case en g_cases	herbelin