aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/pretyping.mli
Commit message (Expand)AuthorAge
* amelioration de la structure des universGravatar barras2001-03-28
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Nettoyage CoercionGravatar herbelin2000-10-19
* 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
* portage RefineGravatar filliatr2000-07-20
* Séparation des contraintes de type et de valeur dans pretypingGravatar herbelin2000-06-29
* diverses modifs pour ocamlwebGravatar filliatr2000-05-03
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Nettoyage de l'interface d'Astterm; renommage des constr_of_com and co en int...Gravatar herbelin2000-03-28
* changement type add_anonymous_leafGravatar 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
* - environment -> safe_environmentGravatar filliatr1999-12-01
* - Typing -> Safe_typingGravatar filliatr1999-12-01
* ocamlwebGravatar filliatr1999-11-30
* 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