]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca2125a) | patch
* implemented setparams method for setting multiple parameters at once
authorLuca Padovani <luca.padovani@unito.it>
Thu, 27 May 2004 09:24:03 +0000 (09:24 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 27 May 2004 09:24:03 +0000 (09:24 +0000)
commita61e244b4cb630f95bed9b1f542df3b5800594b0
tree193c2b79b3f6c374aa863c10a20ae86402a6781atree | snapshot
parentca2125a2d2df965e46e1e99e0d81720de8754a8ccommit | diff
* implemented setparams method for setting multiple parameters at once
helm/uwobo/uwobo.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.