]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c12867) | patch
* it is now possible to set multiple parameters upon creation (or cloning)
authorLuca Padovani <luca.padovani@unito.it>
Thu, 27 May 2004 15:04:33 +0000 (15:04 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 27 May 2004 15:04:33 +0000 (15:04 +0000)
commit9b12c7574b3d0e0b8bf3a3a67efa03e36abf3f0d
tree66e92bbfc40b95fa49f11918fee8e623d40c7d7ctree | snapshot
parent9c1286710e47652a4e070bcfc6b39b7303f069f9commit | diff
* it is now possible to set multiple parameters upon creation (or cloning)
  of a new profile
helm/uwobo/uwobo.ml diff | blob | history
helm/uwobo/uwobo_profiles.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.