]> matita.cs.unibo.it Git - helm.git/commit - helm/on-line/javascript/control.js
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e05d47) | patch
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
treed00559d978d4485a35895d30fa6ba37f29a00b70tree | snapshot
parent7e05d47aaef89c0b43f183bd6d7d84907d786279commit | diff
Now uses the new stylesheets waterfall
helm/on-line/javascript/control.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.