aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/evarconv.mli
Commit message (Expand)AuthorAge
* Report de l'heuristique d'unification premier ordre flexible/rigideGravatar herbelin2006-09-15
* hiding the meta_map in evar_defsGravatar barras2004-09-15
* deuxieme vague de modifs: evar_defs fonctionnelGravatar barras2004-09-07
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* GROS COMMIT:Gravatar barras2001-11-05
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Petit nettoyage de Evarutil et EvarconvGravatar herbelin2000-10-23
* documentationGravatar filliatr2000-01-28
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* - environment -> safe_environmentGravatar filliatr1999-12-01
* portage modules Evarconv et EvarutilGravatar filliatr1999-11-29
* Versions initialesGravatar herbelin1999-11-24
* organisation de trad (entre parsing/ et pretyping/)Gravatar filliatr1999-10-13