aboutsummaryrefslogtreecommitdiff
path: root/pretyping/coercion.mli
AgeCommit message (Expand)Author
2000-03-07Export inh_conv_coerce_to et diversherbelin
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
1999-12-02modifs pour premiere edition de liensfilliatr
1999-12-01mise a jour Coercionfilliatr
1999-12-01 - environment -> safe_environmentfilliatr
1999-11-30ocamlwebfilliatr
1999-11-26Modification pour faire compiler pretyping.ml qui maintenant compileherbelin
1999-11-24Versions initialesherbelin