]> matita.cs.unibo.it Git - helm.git/commit
* syntax update for "remove all stylesheets" in control.js
authorLuca Padovani <luca.padovani@unito.it>
Wed, 16 Jul 2003 08:39:41 +0000 (08:39 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 16 Jul 2003 08:39:41 +0000 (08:39 +0000)
commit54c135065412e4af07be487b453dbac7c2b45034
treeb868f87249a16ee7a0bfe86bee6aef5f5de9c31c
parentf00748237babf53171228e9a50716a81424d4ab7
* syntax update for "remove all stylesheets" in control.js
* reloadAll function created
helm/uwobo-panel/control.html
helm/uwobo-panel/control.js