aboutsummaryrefslogtreecommitdiff
path: root/parsing
AgeCommit message (Expand)Author
2000-12-26Pattern sera mieux dans Pretyping; relâchement head_pattern_boundherbelin
2000-12-25bug head_pattern_boundherbelin
2000-12-25Token n'est plus un keywordherbelin
2000-12-25Effet réorganisation Classopsherbelin
2000-12-22*** empty log message ***mayero
2000-12-21Qualification des inductifs dans Print indherbelin
2000-12-20espacementsherbelin
2000-12-20Suppression warning variable de filtrage en majusculeherbelin
2000-12-20ajout ident_or_constrarg pour NewInductionherbelin
2000-12-19Amélioration affichage Print ALlherbelin
2000-12-19Correction associativite de Repeat/Orelsedelahaye
2000-12-18Suppression de l'affichage des instances des ?nherbelin
2000-12-16Prise en compte modules/sections qualifiés dans SearchPattern et SearchRewriteherbelin
2000-12-15Re-ajout des syntaxes Add LoadPath, Remove LoadPath, etc; ajout entrées 'Set...herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 00:06:52 +0000