]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mmlctop.xsl-0.14
Version 1.2.1beta => 1.2.1
[helm.git] / helm / style / mmlctop.xsl-0.14
index 693f962a387a15db6903ef6cf9bbeb12d57801ff..be41c5be300c5eeeb5e5229a65019583bea9e639 100755 (executable)
 <!-- HELM: we don't have a default namespace.
      Removed xmlns="http://www.w3.org/1998/Math/MathML" -->
 
+<!-- HELM: was
 <xsl:output method="xml" indent="yes"/>
+-->
+<xsl:output method="xml"/>
+<!-- HELM -->
 
 <xsl:strip-space elements="apply semantics annotation-xml
         csymbol fn cn ci interval matrix matrixrow vector
@@ -534,7 +538,7 @@ HELM: Now is: -->
    <xsl:otherwise>
     <xsl:choose>
      <xsl:when test="child::text() and not(*[1])">
-      <m:mn m:xref="{$id}"> <xsl:apply-templates mode = "semantics"/> </m:mn>
+      <m:mn m:xref="{@id}"> <xsl:apply-templates mode = "semantics"/> </m:mn>
      </xsl:when>
      <xsl:otherwise>
       <xsl:variable name="id" select="@id"/>