aboutsummaryrefslogtreecommitdiff
path: root/parsing
AgeCommit message (Expand)Author
2001-01-31Ajout option Set/Unset/Test Printing Coercionsherbelin
2001-01-30backtrack sur le lexeur de la V6filliatr
2001-01-27Simplification Impargsherbelin
2001-01-27Factorisation du '.' finalherbelin
2001-01-27Ré-introduction des implicites à la volée dans la définition des inductifsherbelin
2001-01-24Prise en compte des noms longs dans les Hints et les Coercionsherbelin
2001-01-24Ajout de constantes locales dans les Recordsherbelin
2001-01-19Prise en compte de constructeurs qualifiés dans les patternsherbelin
2001-01-19Nouveau module pour centraliser les chemins des constantes globales utilisée...herbelin
2001-01-19Ajout d'un parseur d'entiers sous forme de patternherbelin
2001-01-19Autour des quotations avec Casesherbelin
2001-01-19Réparation bug extensibilité de Constr.patternherbelin
2001-01-09Meta Definition + Tactic Definitiondelahaye
2001-01-05Arite cachee de Match Context + Meta Definitiondelahaye
2000-12-29Ajout du Let pour le langage de tactiquesdelahaye
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-11 07:12:19 +0000