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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-28 21:59:07 +0000