aboutsummaryrefslogtreecommitdiff
path: root/toplevel/metasyntax.ml
AgeCommit message (Expand)Author
2003-09-21Changement de la politique de V8only: V8only tout seul signifieherbelin
2003-09-19parsingherbelin
2003-09-18Ajout r gle d'affichage tactiques èéfinies par Notationherbelin
2003-09-16Tentative amelioration pretty-printing symbolesherbelin
2003-09-12Ajout 'Print Scopes' et 'Bind Scope with classes'herbelin
2003-09-10Traduction de Distfixherbelin
2003-08-11Nettoyageherbelin
2003-07-24Bug globalisation Grammar (suite)herbelin
2003-07-23Bug globalisationherbelin
2003-06-10Distinction mode v7 ou translate; conséquences du déplacement traducteur de...herbelin
2003-05-23Bug en mode translateherbelin
2003-05-22Ajout V8Notationherbelin
2003-05-21Suppression définitive de lmatch et or_metanum dans tacinterpherbelin
2003-05-21Possibilité de syntaxe conjointement à la définition des inductifs et des ...herbelin
2003-04-29Prise en compte des syntaxes v8 dans Uninterpreted Notationherbelin
2003-04-29Moins de ' ' à l'affichageherbelin
2003-04-17Ajout "at next level" dans Notationherbelin
2003-04-11Ajout option 'Local' à Infix et Notationherbelin
2003-04-10Suppression de quelques espaces superflusherbelin
2003-04-07Globalisation des noms de tactiques dans les définitions de tactiquesherbelin
2003-03-31Ajout d'un choix 'onlyparse'herbelin
2003-03-12*** empty log message ***barras
2003-02-27Le lexeur et Notation savent reconnaître si un unicode des blocsherbelin
2003-02-13Test de non bouclage malencontreux dans les niveauxherbelin
2003-01-19Restructuration interpréteur de tactique: plus d'évaluation partielle à la...herbelin
2003-01-16Bugs affichageherbelin
2002-12-31Amélioration règles d'affichageherbelin
2002-12-21Affinement affichageherbelin
2002-12-15Prise en compte des scopes traversés dans les notationsherbelin
2002-12-09Problèmes et améliorations divers affichageherbelin
2002-12-04Correction divers bugs d'affichage; explicitation du niveau de grammaire quan...herbelin
2002-12-03Préparation à la prise en compte des changements de scopes internes aux not...herbelin
2002-12-03Pas de globalisation impérative pour les Grammarherbelin
2002-12-02Re-déplacement du résultat de Grammar au niveau constr_expr (globalisation ...herbelin
2002-12-02On force l'associativité pour les entrées sans niveauxherbelin
2002-11-29Raffinement syntaxe Infixherbelin
2002-11-28Affinement de la gestion des niveaux toujours; type ETBigintherbelin
2002-11-28typo ?letouzey
2002-11-28Affinement encoreherbelin
2002-11-26Réaffichage des Syntactic Definition (printer constr_expr).herbelin
2002-11-25Syntaxe delimiteursherbelin
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-19Autoriser les abbreviations de Casesherbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-10-30Optimisation du choix des niveaux intermédiaires dans une notation complexeherbelin
2002-10-26code mortherbelin
2002-10-23Le test de redondance d'une règle était trop fortherbelin
2002-10-22Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...herbelin
2002-10-21Prise en compte des délimiteurs dans les motifs de Casesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-10 20:56:32 +0000