aboutsummaryrefslogtreecommitdiff
path: root/parsing/astterm.ml
AgeCommit message (Expand)Author
2001-02-16ident au lieu de string pour le nom de base de qualidherbelin
2001-02-14Mise en place d'un système optionnel de discharge immédiat; prise en compte...herbelin
2001-02-08Simplificationsherbelin
2001-02-07Retrait de EvarRef de global_reference; nettoyage autour de ast_of_refherbelin
2001-02-05Restructuration de classops; évolution en une version mieux intégrée au re...herbelin
2001-01-31Bug localisation des Syntactif Definitionherbelin
2001-01-27Ré-introduction des implicites à la volée dans la définition des inductifsherbelin
2001-01-19Autour des quotations avec Casesherbelin
2000-12-20Suppression warning variable de filtrage en majusculeherbelin
2000-12-14Amélioration message d'erreurherbelin
2000-12-14Bug dans les alias de Casesherbelin
2000-11-24Réorganisation autour de globalize_constrherbelin
2000-11-24Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametabfilliatr
2000-11-22Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...herbelin
2000-11-21Prise en compte des implicites dans les regles de grammairesherbelin
2000-11-20Acceptation des noms qualifiés; utilisation de global_reference dans pattern...herbelin
2000-11-09Amélioration message d'erreur arg explicité au lieu d'arg normalherbelin
2000-11-02suppression des (* open Generic *)filliatr
2000-10-21Pb affichage warningherbelin
2000-10-18Renommage canonique :herbelin
2000-10-18Nettoyageherbelin
2000-10-16Changement "command" en "constr" et globalize_command en globalize_constrherbelin
2000-10-03Reorganisation des interp_constrherbelin
2000-09-26Nettoyage pretyping; ise_resolve_* devient understand_*; Ajout d'une notion d...herbelin
2000-09-14Abstraction de constrherbelin
2000-09-12Modification mkAppL; abstraction via kind_of_term; changement dans Reductionherbelin
2000-09-10Correction pour make docherbelin
2000-09-10Suppression de Abstherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-09-06Canonisation de certains noms dans Pretyping, Asterm et Safe_typingherbelin
2000-09-06code mortherbelin
2000-07-28Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...herbelin
2000-07-24Passage à des contextes de vars et de rels pouvant contenir des déclarationsherbelin
2000-07-21Modifs d'interpretation de patterns + exceptions dans le lexerdelahaye
2000-07-20portage Refinefilliatr
2000-07-01index devenu list_index échoue maintenant avec Not_found et plus Failureherbelin
2000-06-29Renommage mk_unsafe_judgment en get_judgment_ofherbelin
2000-05-26Modification messages d'erreurs, possibilité de n'importe quel constr dans l...herbelin
2000-05-18Ajout warning si variable existant par ailleursherbelin
2000-05-16RIENherbelin
2000-05-05ajout interp_sortherbelin
2000-05-03suppression de Fw pour les implicitesherbelin
2000-05-03Ajout du langage de tactiquesdelahaye
2000-05-02Problème avec SOPATTherbelin
2000-05-02Bug redondance entre 'RRef (RMeta _)' et 'PMeta _'herbelin
2000-04-30Suite intégration de constr_patternherbelin
2000-04-28Déplacement du type reference dans Termherbelin
2000-04-28Changement de représentation du contexte des réf dans rawconstr et patternherbelin
2000-04-26Introduction d'un type constr_pattern pour les différents filtragesherbelin
2000-03-28Nettoyage de l'interface d'Astterm; renommage des constr_of_com and co en int...herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 12:58:38 +0000