aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/evarutil.mli
Commit message (Expand)AuthorAge
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Branchement du mécanisme d'instantiation des Evar en présence de définitio...Gravatar herbelin2000-11-27
* correction Abstract (et make world passe!)Gravatar filliatr2000-11-02
* Petit nettoyage de Evarutil et EvarconvGravatar herbelin2000-10-23
* Passage à des contextes de vars et de rels pouvant contenir des déclarationsGravatar herbelin2000-07-24
* Séparation des contraintes de type et de valeur dans pretypingGravatar herbelin2000-06-29
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Reparation bug isevars dans pretypingGravatar herbelin2000-03-10
* La partie 'val' de trad_constraints devient un typed_typeGravatar herbelin2000-03-08
* Renommage mt_con -> empty_conGravatar herbelin2000-03-07
* documentationGravatar filliatr2000-01-28
* Intégration initiale du CasesGravatar herbelin1999-12-11
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* - environment -> safe_environmentGravatar filliatr1999-12-01
* ocamlwebGravatar filliatr1999-11-30
* portage modules Evarconv et EvarutilGravatar filliatr1999-11-29
* Versions initialesGravatar 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-26 23:01:15 +0000