aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/coercion.ml
Commit message (Expand)AuthorAge
* Export inh_conv_coerce_to et diversGravatar herbelin2000-03-07
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* - méthode load sur les HintsGravatar filliatr1999-12-13
* mise a jour CoercionGravatar filliatr1999-12-01
* - Typing -> Safe_typingGravatar filliatr1999-12-01
* Des progres dans l'integrationGravatar herbelin1999-11-25
* Versions initialesGravatar herbelin1999-11-24