]> matita.cs.unibo.it Git - helm.git/commit
isterix updated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Nov 2000 09:23:29 +0000 (09:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Nov 2000 09:23:29 +0000 (09:23 +0000)
commitbaffca1ac75af466a7b5cf2c1513a0f1ec4a8000
treed5a7fa522bfc56b73dc0a7fef99e9301b51549a6
parent0d9d6be5c3d0800c30af3db0d76101dc54743464
isterix updated
helm/interface/isterix