]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 907a328) | patch
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
tree4409f82f0d42d7cca4115362fd9420ba6b95f0a6tree | snapshot
parent907a328069369c4d3e3e02ba2ff6d70dd0406b03commit | diff
Some optimizations using the "sort" attribute.
helm/style/proofs.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.