aboutsummaryrefslogtreecommitdiff
path: root/parsing/g_constr.ml4
AgeCommit message (Expand)Author
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-05-27Ajout de Eval, Inst et Checkdelahaye
2001-11-08Prise en compte de la syntaxe [x:=c:t]b comme équivalent de [x:=c::t]bherbelin
2001-08-10Parsingherbelin
2001-06-19Extension des parametres de Clear + Instdelahaye
2001-06-18Interpretation MetaId + Progress + Instdelahaye
2001-06-11Reparation d'un bug d'affichage. Les let destructurants, if, et vieux Caseclrenard
2001-04-14Non parenthesage des applications de tactiquesdelahaye
2001-03-15entetesfilliatr
2000-11-20Acceptation des noms qualifiés; nouveau lexeme METAIDENT pour les $idherbelin
2000-11-03compilation des fichiers ml4 sans GNUseriesfilliatr
2000-09-10Suppression de Abstherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-08-17Pattern matching de sous-termes + exceptions dans le lexerdelahaye
2000-06-21 - $BINDER -> BINDER dans g_constr.ml4 (=> erreur syntax Fix)filliatr
2000-05-03Ajout du langage de tactiquesdelahaye
2000-04-28Déplacement du type reference dans Termherbelin
2000-03-30erreurs lexicales dans les patterns (manquait des espaces)filliatr
2000-01-13Nettoyage des fichiers de parsingherbelin
2000-01-07Renommage command en constrherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 00:11:48 +0000