]> matita.cs.unibo.it Git - helm.git/commit
drop_coercions added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jun 2001 14:06:32 +0000 (14:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jun 2001 14:06:32 +0000 (14:06 +0000)
commitc1839f8c8e0562fee90a1e385fa9d6d8ad5e499f
treed0cda730e9f43972d728c12d75ac20ae62349cf1
parent3f40909b16020098d481eb0c8814c56e26865bf1
drop_coercions added
helm/uwobo-panel/control.html