aboutsummaryrefslogtreecommitdiff
path: root/parsing
AgeCommit message (Expand)Author
2000-12-14Les params d'inductif deviennent en même temps propre à chaque inductif d'u...herbelin
2000-12-14Amélioration message d'erreurherbelin
2000-12-14Évaluation forcée des objets mis dans les streamsherbelin
2000-12-14Autorisation de parenthèses autour des constructeurs dans le filtrageherbelin
2000-12-14Bug dans les alias de Casesherbelin
2000-12-14On force l'évaluation du qualid_of_global qui peut échouer dans le débuggerherbelin
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-12-11numarg -> pure_numarg a poursuivremohring
2000-12-06Modif rapide pour prise en compte eqTherbelin
2000-12-06MAJ nom long de eqherbelin
2000-12-06section_path etait en fait bonne dans ast et buggee dans printer.mlherbelin
2000-12-062ème bug de traduction des Pathherbelin
2000-12-06Bug de traduction des Pathherbelin
2000-12-06Extension de la syntaxe de LetTacherbelin
2000-12-06Notion de 'clause_pattern' pour désigner un ensemble d'occurrences dans le b...herbelin
2000-12-06Correction pour les qualidconstargdelahaye
2000-12-05Plus de quote devant les ident et les ?delahaye
2000-11-29Prise en compte REQUIRE dans print_leafherbelin
2000-11-29ajoutfilliatr
2000-11-29Now AddRecPath and AddPath can be used with an As option to specify thesacerdot
2000-11-28Prise en compte du repertoire dans le section path; utilisation de dirpath po...herbelin
2000-11-28Ajout des Fix et CoFix dans les patternsdelahaye
2000-11-28Elimination du 'delahaye
2000-11-27Bug affichage inductifsherbelin
2000-11-27uniformisation messages d'erreurfilliatr
2000-11-27Prise en compte des implicites de locaux à l'affichageherbelin
2000-11-27Affichage des définitions localesherbelin
2000-11-26Restruration autour de qualidargherbelin
2000-11-26Distinction claire entre Induction (nom interne : raw_induct) et le nouvel in...herbelin
2000-11-26Prise en compte noms longs dans divers fonctions de Printherbelin
2000-11-24Réorganisation autour de globalize_constrherbelin
2000-11-24Nettoyageherbelin
2000-11-24Ajout d'un .:/opt/kde/bin:/home/herbelin/bin:/bin:/sbin:/usr/bin:/usr/etc:/us...herbelin
2000-11-24Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametabfilliatr
2000-11-24certains effets disparaissent a la sortie des sections, d'autres non (selon S...filliatr
2000-11-24SearchPattern et SearchRewritefilliatr
2000-11-23Ajout d'une syntaxe pour Reals.mayero
2000-11-23Search réparéfilliatr
2000-11-23Affichage des paths avec des '.', print_id -> pr_id, print_sp -> pr_spherbelin
2000-11-23Affichage des paths avec des '.'; print_id, print_sp -> pr_id, pr_sp;herbelin
2000-11-23Bug qualidconstarg (intervient pour Transparent)herbelin
2000-11-22Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...herbelin
2000-11-22deplacement poly_args; iterateurs sur les segmentsfilliatr
2000-11-21Begin-End Silent deviennent Set?Unset Silentmohring
2000-11-21Prise en compte des implicites dans les regles de grammairesherbelin
2000-11-20La variable argument d'un non-terminal dans Grammar est maintenant un Var ( p...herbelin
2000-11-20Prise en compte des noms qualifiés dans certaines commandesherbelin
2000-11-20Nouveau lexeme METAIDENT pour les $idherbelin
2000-11-20Ajout diverses entrées pour les noms qualifiésherbelin
2000-11-20Prise en compte des noms qualifiés dans certaines commandesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 15:46:56 +0000