]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/objcontent.xsl
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / style / objcontent.xsl
index b4a0e748da859eb07d2a95f493c8a8ecbabe3ce3..ceb7a22bacea1b6818a37540ac0ad87c09534d01 100644 (file)
@@ -61,7 +61,7 @@
        <xsl:attribute name="name">
         <xsl:value-of select="@name"/>
        </xsl:attribute>
-       <xsl:attribute name="helm-xref">
+       <xsl:attribute name="helm:xref">
         <xsl:value-of select="@id"/>
        </xsl:attribute>
        <xsl:apply-templates select="*[1]"/>