]> matita.cs.unibo.it Git - helm.git/commit
Now uses the new stylesheets waterfall
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Mar 2001 15:38:30 +0000 (15:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Mar 2001 15:38:30 +0000 (15:38 +0000)
commitfb158d51c621e55962a6139d03cd1678cfb2e8f1
treed00559d978d4485a35895d30fa6ba37f29a00b70
parent7e05d47aaef89c0b43f183bd6d7d84907d786279
Now uses the new stylesheets waterfall
helm/on-line/javascript/control.js