]> matita.cs.unibo.it Git - helm.git/commit
Performance improvements and bug fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Dec 2000 15:20:14 +0000 (15:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Dec 2000 15:20:14 +0000 (15:20 +0000)
commit8dd44f97c9c97ae32bc91288a9d08c00ef63c965
tree32c9d800627b691e6feb775272a564cdc65b5f8f
parentb070f865b5f2fd7ef95c397f24a5f288befca7ee
Performance improvements and bug fixed
helm/style/content.xsl
helm/style/proofs.xsl