]> matita.cs.unibo.it Git - helm.git/commit
Some spaces at the content level eliminated.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Dec 2000 17:55:53 +0000 (17:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Dec 2000 17:55:53 +0000 (17:55 +0000)
commit402d69254737c64b36cf00e223f520c53faf33db
tree308ab8053577fdc70619aa86ec2011f373fd13b3
parent8dd44f97c9c97ae32bc91288a9d08c00ef63c965
Some spaces at the content level eliminated.
helm/style/objcontent.xsl
helm/style/proofs.xsl