]> matita.cs.unibo.it Git - helm.git/commit
Some optimizations using the "sort" attribute.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Dec 2000 17:12:15 +0000 (17:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Dec 2000 17:12:15 +0000 (17:12 +0000)
commit92e006b92f453568bdbca000992f064079d86536
tree4409f82f0d42d7cca4115362fd9420ba6b95f0a6
parent907a328069369c4d3e3e02ba2ff6d70dd0406b03
Some optimizations using the "sort" attribute.
helm/style/proofs.xsl