]> matita.cs.unibo.it Git - helm.git/commit
UNICODEvsSYMBOL parameter now added everywhere
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jun 2001 13:31:46 +0000 (13:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jun 2001 13:31:46 +0000 (13:31 +0000)
commitd1132a3652b678eeece55c9163f21091ec42ae84
tree78fc56aaf7408fcd441214667f94dbe8b8d2cae6
parent78f0e9834348f091eebe7904a97e9db0ec63825a
UNICODEvsSYMBOL parameter now added everywhere
helm/on-line/html/control.html
helm/on-line/html/library/control.html
helm/on-line/html/library/index.html
helm/on-line/javascript/control.js
helm/on-line/javascript/defaults.js
helm/on-line/javascript/prelude.js