]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mmlextension.xsl
When downloading stylesheets, substitutes all relative URLs with
[helm.git] / helm / style / mmlextension.xsl
index 5537076fb7173ef65fb617fda37cbb422f2e31d5..9113ba51c2a1643c2a0b3aee6e53a82d32c921ab 100644 (file)
      <m:mtr>
       <m:mtd>
        <m:mphantom><m:mtext>__</m:mtext></m:mphantom>
-       <m:mo helm:xref="m:in/@helm:xref"> 
-        =
-       </m:mo>
+       <m:mo helm:xref="{m:in/@helm:xref}">=</m:mo>
        <xsl:apply-templates select="."/>
       </m:mtd>
      </m:mtr>
      <xsl:otherwise>
       <xsl:value-of select="number($siblength)"/>
      </xsl:otherwise>
-     </xsl:choose>>
+     </xsl:choose>
     </xsl:when>
     <xsl:otherwise>
      <xsl:value-of select="number($childlength)"/>