aboutsummaryrefslogtreecommitdiff
path: root/parsing
AgeCommit message (Expand)Author
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
2002-11-07Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...herbelin
2002-11-07fix forbidden currified constructorsddr
2002-11-05Intégration des modifs de la branche mowgli :herbelin
2002-11-03Ajout delimiteurs dans les motifs de Casesherbelin
2002-10-30Désagglutination du squelette de la notation et de sa précédenceherbelin
2002-10-29Mais laisser la syntaxe (!id) aussi disponible !herbelin
2002-10-29Parenthèse non obligatoires autour de !id sans argumentherbelin
2002-10-28Des critères plus fins d'analyse des implicites automatiques; meilleur affic...herbelin
2002-10-23Clarification changements autour de Remark/Fact/Localherbelin
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-21Ajout d'un suffixe "as [ names ]" pour nommer manuellement lesherbelin
2002-10-21NewDestruct/NewInduction acceptent l'option "using"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-02-27 09:36:57 +0000