Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | (Tentative to) add Canonical Structure resolution to the regular | msozeau | 2009-05-16 | |
* | Report de l'heuristique d'unification premier ordre flexible/rigide | herbelin | 2006-09-15 | |
* | hiding the meta_map in evar_defs | barras | 2004-09-15 | |
* | deuxieme vague de modifs: evar_defs fonctionnel | barras | 2004-09-07 | |
* | Nouvelle en-tĂȘte | herbelin | 2004-07-16 | |
* | Suppression des local_constraints, des ctxtty et du focus. | clrenard | 2001-11-06 | |
* | GROS COMMIT: | barras | 2001-11-05 | |
* | entetes | filliatr | 2001-03-15 | |
* | syntaxe AST Inversion + commentaires ocamlweb autour de $ | filliatr | 2000-12-12 | |
* | Petit nettoyage de Evarutil et Evarconv | herbelin | 2000-10-23 | |
* | documentation | filliatr | 2000-01-28 | |
* | modifs pour premiere edition de liens | filliatr | 1999-12-02 | |
* | - environment -> safe_environment | filliatr | 1999-12-01 | |
* | portage modules Evarconv et Evarutil | filliatr | 1999-11-29 | |
* | Versions initiales | herbelin | 1999-11-24 | |
* | organisation de trad (entre parsing/ et pretyping/) | filliatr | 1999-10-13 |