]> matita.cs.unibo.it Git - helm.git/commit
Explicit substitutions for metavariables introduced and DTD changed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 May 2002 09:18:52 +0000 (09:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 May 2002 09:18:52 +0000 (09:18 +0000)
commitddce32beebecf9d965e6ad991a08368f52cd9ea1
tree86aa1e87e84a37e59b687c7296a7ed516475d5e7
parentee35bf33520d92753899985329cc4bfee141b808
Explicit substitutions for metavariables introduced and DTD changed.
helm/style/content.xsl
helm/style/content_to_html.xsl
helm/style/mmlextension.xsl
helm/style/objcontent.xsl
helm/style/rootcontent.xsl