]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo/uwobo_profiles.ml
* minor correction to make the new mathml widget work better
[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