aboutsummaryrefslogtreecommitdiff
path: root/parsing
AgeCommit message (Expand)Author
2002-12-13possibilité de faire Print M avec M module ou modtype au lieu de Print Modul...letouzey
2002-12-12Ajout du vernac Proof withgregoire
2002-12-10Bugs diversherbelin
2002-12-10Ajout options -v7 et -v8, et commandes V7only et V8onlyherbelin
2002-12-09Problèmes et améliorations affichage; Changement Simplherbelin
2002-12-09Ajout Simpl et Change sur des sous-termesherbelin
2002-12-04Correction divers bugs d'affichage; explicitation du niveau de grammaire quan...herbelin
2002-12-04Modification Require Frommohring
2002-12-03la table PARAMETER n'existe plus (mergé dans la table CONSTANT)letouzey
2002-12-03bug de non-indépendance des règles d'affichage et parsing vis à vis du nom...herbelin
2002-12-03bugs d'affichage (confusion key/scope dans les délimiteurs)herbelin
2002-12-03Calcul de l'associativité même pour les Grammar avec plusieurs clausesherbelin
2002-12-03Le '.' peut faire partie d'un tokenherbelin
2002-12-02Remplacement de Syntactic Definition par Notationherbelin
2002-12-02Associativité de constr9 et lconst à RIGHTA qui est le plus courantherbelin
2002-12-02Re-déplacement du résultat de Grammar au niveau constr_exprherbelin
2002-12-02On force l'associativité pour les entrées sans niveauxherbelin
2002-12-01Synchro level (suite)herbelin
2002-11-29Raffinement syntaxe Infixherbelin
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-29constr9 et lconstr NONA pour une meilleur extensibilitéherbelin
2002-11-29Re-échappement des \ et " dans les token stringherbelin
2002-11-28Affinement de la gestion des niveaux toujours; type ETBigintherbelin
2002-11-28Essai d'une autre syntaxe pour la dlimitation des scopesherbelin
2002-11-28Ajout d'une entre Prim.bigintherbelin
2002-11-28Court-circuit de g_zsyntaxherbelin
2002-11-28Essai de suppression du caractere d'echappement des stringherbelin
2002-11-28Oubliherbelin
2002-11-28Affinement encoreherbelin
2002-11-28Affinement de la gestion des niveauxherbelin
2002-11-27Correction sur commit précédentherbelin
2002-11-26Oubliherbelin
2002-11-26Réaffichage des Syntactic Definition (printer constr_expr).herbelin
2002-11-25Retablissement Syntactic Definitionherbelin
2002-11-25MAJ delimiters et niveaux d'associativiteherbelin
2002-11-25Z dans les patterns via les scopesherbelin
2002-11-25Retour sur le choix des delimiteursherbelin
2002-11-24Rétablissement printer via astherbelin
2002-11-24Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...herbelin
2002-11-24Installation des printers de nombres pour constr_exprherbelin
2002-11-20Les parenthèses de la notation '(n)' maintemant mises par ML pour un meilleu...herbelin
2002-11-20Introduction d'un constructeur ARROW; rétablissement priorités desherbelin
2002-11-17Problème avec le choix d'introduire une indirection vers un rawconstr pourherbelin
2002-11-15Passage à une représentation des fixpoints plus primitive dans constr_expr ...herbelin
2002-11-15Bug factorisation grammaireherbelin
2002-11-14Compatibilité avec les << >> dans la très ancienne syntaxe des actionsherbelin
2002-11-14Bug factorisationherbelin
2002-11-14Restauration échappement MLherbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 05:24:55 +0000