aboutsummaryrefslogtreecommitdiff
path: root/parsing/egrammar.ml
AgeCommit message (Expand)Author
2003-11-19Protection contre l'effacement des niveaux vides de operconstr et pattern par...herbelin
2003-11-15Bug v8 (regles connues etaient re-enregistrees) + tables dans egrammarherbelin
2003-11-04En v8, une notation, c'est 2 regles et un niveauherbelin
2003-11-01Extensibilite de la grammaires des patternsherbelin
2003-10-17On n'autorise plus les niveaux doubles L/R en v8herbelin
2003-10-10changement nouvelle syntaxe (pt fixes)barras
2003-09-10Passage des projections au niveau 1herbelin
2003-09-109 est associatif a gaucheherbelin
2003-09-09Ajout construction If primitive dans constr_expr et rawconstrherbelin
2003-08-11Nouvelle mouture du traducteur v7->v8herbelin
2003-06-10Ajout notation c.(f) en v8 pour les projections de Recordherbelin
2003-05-19Renommage CMeta en CPatVar qui sert à saisir les PMeta de Patternherbelin
2003-04-28Localisation erreurs TacAlias; Globalisation moins tolérante dans lesherbelin
2003-04-16simplification: fst (list_chop n l) = firstn n l et snd (list_chop n l) = lis...letouzey
2003-03-12*** empty log message ***barras
2002-12-28Prise en compte notations dans les extensions de motiffherbelin
2002-12-15Meilleure factorisation des entrées NEXT internesherbelin
2002-12-03bug de non-indépendance des règles d'affichage et parsing vis à vis du nom...herbelin
2002-12-02Remplacement de Syntactic Definition par Notationherbelin
2002-12-02On force l'associativité pour les entrées sans niveauxherbelin
2002-12-01Synchro level (suite)herbelin
2002-11-29Utilisation de Snext pour gérer les symboles non associatifsherbelin
2002-11-29Synchro de la table des niveaux avec les sectionsherbelin
2002-11-28Affinement de la gestion des niveaux toujours; type ETBigintherbelin
2002-11-28Affinement encoreherbelin
2002-11-28Affinement de la gestion des niveauxherbelin
2002-11-27Correction sur commit précédentherbelin
2002-11-26Réaffichage des Syntactic Definition (printer constr_expr).herbelin
2002-11-25MAJ delimiters et niveaux d'associativiteherbelin
2002-11-24Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...herbelin
2002-11-17Problème avec le choix d'introduire une indirection vers un rawconstr pourherbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-09-27passage a ocaml 3.06herbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2001-12-13compat ocaml 3.03filliatr
2001-03-15entetesfilliatr
2000-01-26MAJ ocaml 2.99 (espaces dans la syntaxe des cast)herbelin
1999-12-01module Egrammarfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 15:24:17 +0000