]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: Compressed was not checked well on control frame load.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Jun 2001 17:02:53 +0000 (17:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Jun 2001 17:02:53 +0000 (17:02 +0000)
commit9baa61064d841920029dab99d598933649fc00bd
treecef5ec7259670b8fa0715a1308bf847afcea880e
parentc7391fac7b0bef85451cb63d00fdbe0e613bfa11
Bug fixed: Compressed was not checked well on control frame load.
"yes" ==> "compressed"
helm/on-line/html/library/control.html