]> matita.cs.unibo.it Git - helm.git/commit
Porting to the new metadata DTD.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 10:59:33 +0000 (10:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 10:59:33 +0000 (10:59 +0000)
commit8df744ff7b8295b14a1bf369baf0711fbf11f516
tree3077c81a5255bfb520dfc79b9d7bf7f73e628020
parent665e5eab9f7e0e5fcb67217da1d581011995426d
Porting to the new metadata DTD.
helm/style/mk_meta_theory.xsl