]> matita.cs.unibo.it Git - helm.git/commit
XSLT Version 0.1 ==> 1.0
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 10 Jun 2002 14:33:48 +0000 (14:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 10 Jun 2002 14:33:48 +0000 (14:33 +0000)
commitb3d5d4a1ac345d5d54fc91edaf320f01fa82f6b1
tree15d6540d5e5716579cc6b8c14ae59191a3b26c0d
parent4df1801e4b86a7ab64211b65e8072adcb7787c62
XSLT Version 0.1 ==> 1.0
helm/style/expandobj.xsl
helm/style/ricerca.xsl
helm/style/theory_content.xsl