]> matita.cs.unibo.it Git - helm.git/commit
Performance improvements using the sort attribute
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Dec 2000 18:37:08 +0000 (18:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Dec 2000 18:37:08 +0000 (18:37 +0000)
commitb6e68f7835f9b0fedb5c8b6bdda3f1abfe776428
treec4ceb4dd8ac38996dc974cacd64f198228a99d68
parent402d69254737c64b36cf00e223f520c53faf33db
Performance improvements using the sort attribute
helm/style/content.xsl
helm/style/proofs.xsl