]> matita.cs.unibo.it Git - helm.git/commit
New stylesheets for graphs added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 1 Oct 2001 09:46:08 +0000 (09:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 1 Oct 2001 09:46:08 +0000 (09:46 +0000)
commitc328b0795b2ae88c3a939d67bd6af829aa3053fa
tree4e504e30d152e555c2e6645045cb0de6ea0ce9ea
parente056db635d42bf61eeccbba580c6a0e3a78c3f01
New stylesheets for graphs added
helm/uwobo-panel/control.html