]> matita.cs.unibo.it Git - helm.git/commit
xsl:import to cope with new xalan version
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jun 2001 17:47:01 +0000 (17:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jun 2001 17:47:01 +0000 (17:47 +0000)
commit23ff539f5abbe9082ae4f3df3c6178bee94accd8
treea4adabd03939c25d7472462d612acc6019075808
parent5a882114fa1f2cf18f9a1ddcb83552bc29c42d95
xsl:import to cope with new xalan version
helm/style/objtheorycontent.xsl
helm/style/rootcontent.xsl