]> matita.cs.unibo.it Git - helm.git/commit
Changes in raw mode interface
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Mar 2001 18:05:45 +0000 (18:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Mar 2001 18:05:45 +0000 (18:05 +0000)
commit2238b5779cd8587ad7afaf32d13eba9173fa8473
tree211bf7fa79d54b278e560867175f0fac3c365824
parentfb158d51c621e55962a6139d03cd1678cfb2e8f1
Changes in raw mode interface
helm/on-line/html/library/control.html
helm/on-line/javascript/control.js
helm/on-line/javascript/defaults.js