]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo/uwobo_profiles.ml
* split evil let definition (ic, oc) = ... into two subsequent
[helm.git] / helm / uwobo / uwobo_profiles.ml
2004-05-27 Luca Padovani* it is now possible to set multiple parameters upon...
2004-05-24 Luca Padovani* setprofileparam ==> setparam
2004-05-22 Luca Padovani* preliminary version of profile management