aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing
Commit message (Expand)AuthorAge
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* numarg -> pure_numarg a poursuivreGravatar mohring2000-12-11
* Modif rapide pour prise en compte eqTGravatar herbelin2000-12-06
* MAJ nom long de eqGravatar herbelin2000-12-06
* section_path etait en fait bonne dans ast et buggee dans printer.mlGravatar herbelin2000-12-06
* 2ème bug de traduction des PathGravatar herbelin2000-12-06
* Bug de traduction des PathGravatar herbelin2000-12-06
* Extension de la syntaxe de LetTacGravatar herbelin2000-12-06
* Notion de 'clause_pattern' pour désigner un ensemble d'occurrences dans le b...Gravatar herbelin2000-12-06
* Correction pour les qualidconstargGravatar delahaye2000-12-06
* Plus de quote devant les ident et les ?Gravatar delahaye2000-12-05
* Prise en compte REQUIRE dans print_leafGravatar herbelin2000-11-29
* ajoutGravatar filliatr2000-11-29
* Now AddRecPath and AddPath can be used with an As option to specify theGravatar sacerdot2000-11-29
* Prise en compte du repertoire dans le section path; utilisation de dirpath po...Gravatar herbelin2000-11-28
* Ajout des Fix et CoFix dans les patternsGravatar delahaye2000-11-28
* Elimination du 'Gravatar delahaye2000-11-28
* Bug affichage inductifsGravatar herbelin2000-11-27
* uniformisation messages d'erreurGravatar filliatr2000-11-27
* Prise en compte des implicites de locaux à l'affichageGravatar herbelin2000-11-27
* Affichage des définitions localesGravatar herbelin2000-11-27
* Restruration autour de qualidargGravatar herbelin2000-11-26
* Distinction claire entre Induction (nom interne : raw_induct) et le nouvel in...Gravatar herbelin2000-11-26
* Prise en compte noms longs dans divers fonctions de PrintGravatar herbelin2000-11-26
* Réorganisation autour de globalize_constrGravatar herbelin2000-11-24
* NettoyageGravatar herbelin2000-11-24
* Ajout d'un .:/opt/kde/bin:/home/herbelin/bin:/bin:/sbin:/usr/bin:/usr/etc:/us...Gravatar herbelin2000-11-24
* Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametabGravatar filliatr2000-11-24
* certains effets disparaissent a la sortie des sections, d'autres non (selon S...Gravatar filliatr2000-11-24
* SearchPattern et SearchRewriteGravatar filliatr2000-11-24
* Ajout d'une syntaxe pour Reals.Gravatar mayero2000-11-23
* Search réparéGravatar filliatr2000-11-23
* Affichage des paths avec des '.', print_id -> pr_id, print_sp -> pr_spGravatar herbelin2000-11-23
* Affichage des paths avec des '.'; print_id, print_sp -> pr_id, pr_sp;Gravatar herbelin2000-11-23
* Bug qualidconstarg (intervient pour Transparent)Gravatar herbelin2000-11-23
* Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...Gravatar herbelin2000-11-22
* deplacement poly_args; iterateurs sur les segmentsGravatar filliatr2000-11-22
* Begin-End Silent deviennent Set?Unset SilentGravatar mohring2000-11-21
* Prise en compte des implicites dans les regles de grammairesGravatar herbelin2000-11-21
* La variable argument d'un non-terminal dans Grammar est maintenant un Var ( p...Gravatar herbelin2000-11-20
* Prise en compte des noms qualifiés dans certaines commandesGravatar herbelin2000-11-20
* Nouveau lexeme METAIDENT pour les $idGravatar herbelin2000-11-20
* Ajout diverses entrées pour les noms qualifiésGravatar herbelin2000-11-20
* Prise en compte des noms qualifiés dans certaines commandesGravatar herbelin2000-11-20
* Acceptation des noms qualifiés; utilisation de global_reference dans pattern...Gravatar herbelin2000-11-20
* Nouvelle entrée qualidarg pour noms qualifiés; nouveau lexeme METAIDENT pou...Gravatar herbelin2000-11-20
* Acceptation des noms qualifiés; nouveau lexeme METAIDENT pour les $idGravatar herbelin2000-11-20
* "Distinction entre . suivi d'un blanc et . suivi d'un ident (pour les noms qu...Gravatar herbelin2000-11-20
* Utilisation de global_reference dans patternGravatar herbelin2000-11-20
* Utilisation de global_reference dans rawconstrGravatar herbelin2000-11-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 21:46:11 +0000