]> matita.cs.unibo.it Git - helm.git/commit
New: UWOBO profiles added.
authorLuca Padovani <luca.padovani@unito.it>
Tue, 25 May 2004 17:54:03 +0000 (17:54 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 25 May 2004 17:54:03 +0000 (17:54 +0000)
commita60ffe278a1511fb75b46fa62dbbe8c94da1bec1
tree4f95b9322e74ced07e25d45cbbc661665e92ab64
parent32a45f819c88c73487ea42a15e7391169ad14db2
New: UWOBO profiles added.
helm/uwobo-panel/control.html
helm/uwobo-panel/control.js