]> matita.cs.unibo.it Git - helm.git/commit
Update to V7 after V6-2 tag creationg
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 12:28:46 +0000 (12:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 12:28:46 +0000 (12:28 +0000)
commitfd98b68b3d650913fc08e269ed03459d06648ca8
treecdb207737ca0797f49b75c2a845a7de44df1ab88
parent6a0c95aa83419769d65137e24edf3468f94993c9
Update to V7 after V6-2 tag creationg
helm/style/basic.xsl
helm/style/content.xsl
helm/style/proofs.xsl
helm/style/reals.xsl
helm/style/ricerca.xsl
helm/style/set.xsl