]> matita.cs.unibo.it Git - helm.git/commitdiff
Wrong reported error message fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 19 Nov 2005 15:38:19 +0000 (15:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 19 Nov 2005 15:38:19 +0000 (15:38 +0000)

No differences found