aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/astterm.mli
Commit message (Expand)AuthorAge
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* Mise en place d'un système optionnel de discharge immédiat; prise en compte...Gravatar herbelin2001-02-14
* Ré-introduction des implicites à la volée dans la définition des inductifsGravatar herbelin2001-01-27
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Réorganisation autour de globalize_constrGravatar herbelin2000-11-24
* Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...Gravatar herbelin2000-11-22
* Acceptation des noms qualifiés; utilisation de global_reference dans pattern...Gravatar herbelin2000-11-20
* Simplifications autour de typed_type (renommé types par analogie avec sorts)...Gravatar herbelin2000-10-18
* NettoyageGravatar herbelin2000-10-18
* Changement "command" en "constr" et globalize_command en globalize_constrGravatar herbelin2000-10-16
* Reorganisation des interp_constrGravatar herbelin2000-10-03
* Nettoyage pretyping; ise_resolve_* devient understand_*; Ajout d'une notion d...Gravatar herbelin2000-09-26
* Canonisation de certains noms dans Pretyping, Asterm et Safe_typingGravatar herbelin2000-09-06
* Modifs d'interpretation de patterns + exceptions dans le lexerGravatar delahaye2000-07-21
* ajout interp_sortGravatar herbelin2000-05-05
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Déplacement du type reference dans TermGravatar herbelin2000-04-28
* Introduction d'un type constr_pattern pour les différents filtragesGravatar herbelin2000-04-26
* Réajout globalize_commandGravatar herbelin2000-03-30
* Nettoyage de l'interface d'Astterm; renommage des constr_of_com and co en int...Gravatar herbelin2000-03-28
* mise au point lexer / debugage PPGravatar filliatr1999-12-05
* - global_reference traite des variablesGravatar filliatr1999-12-03
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* module EgrammarGravatar filliatr1999-12-01
* - environment -> safe_environmentGravatar filliatr1999-12-01
* portage Astterm (partiellement)Gravatar filliatr1999-11-29
* Modification pour faire compiler pretyping.ml qui maintenant compileGravatar herbelin1999-11-26
* MAJ pour fusion avec pretypingGravatar herbelin1999-11-24
* organisation de trad (entre parsing/ et pretyping/)Gravatar filliatr1999-10-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 21:06:12 +0000