]> matita.cs.unibo.it Git - helm.git/commitdiff
Bug fixed in binary standard MathML Content operators: the href/xref
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 15:00:53 +0000 (15:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 15:00:53 +0000 (15:00 +0000)
attributes were not generated.

helm/style/mmlnotation.xsl

index 5cf944e72ec54c20b16c344de1b82859b8b4a691..7081ad83f19cb045b7d5025aca09f6816d52dd1b 100644 (file)
      <m:mtd>
       <m:mrow>
        <m:mo stretchy="false">(</m:mo>
-       <xsl:apply-templates select="*[position()=2]"/>
+       <xsl:apply-templates select="*[2]"/>
+      </m:mrow>
+     </m:mtd>
+    </m:mtr>
+    <m:mtr>
+     <m:mtd>
+      <m:mrow>
+       <m:mphantom><m:mtext>__</m:mtext></m:mphantom>
+       <m:mo>
+        <xsl:if test="*[1]/@id">
+         <xsl:attribute name="xref">
+          <xsl:value-of select="*[1]/@id"/>
+         </xsl:attribute>
+        </xsl:if><xsl:value-of select="$symbol"/></m:mo>
+       <xsl:apply-templates select="*[3]"/>
       </m:mrow>
      </m:mtd>
     </m:mtr>
-    <xsl:for-each select = "*[position()>2]">
-     <m:mtr>
-      <m:mtd>
-       <m:mrow>
-        <m:mphantom><m:mtext>__</m:mtext></m:mphantom>
-        <m:mo>
-         <xsl:if test="*[1]/@id">
-          <xsl:attribute name="xref">
-           <xsl:value-of select="*[1]/@id"/>
-          </xsl:attribute>
-         </xsl:if><xsl:value-of select="$symbol"/></m:mo>
-        <xsl:apply-templates select="."/>
-       </m:mrow>
-      </m:mtd>
-     </m:mtr>
-    </xsl:for-each>
     <m:mtr>
      <m:mtd>
       <m:mrow>
 </xsl:template>
 
 
-</xsl:stylesheet>
\ No newline at end of file
+</xsl:stylesheet>