aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/instantiate.mli
Commit message (Expand)AuthorAge
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* GROS COMMIT:Gravatar barras2001-11-05