From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 6 Dec 2002 15:00:53 +0000 (+0000)
Subject: Bug fixed in binary standard MathML Content operators: the href/xref
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1aa18e93c8ae7659690dfa132e7fc9cdf7a8512a;p=helm.git

Bug fixed in binary standard MathML Content operators: the href/xref
attributes were not generated.
---

diff --git a/helm/style/mmlnotation.xsl b/helm/style/mmlnotation.xsl
index 5cf944e72..7081ad83f 100644
--- a/helm/style/mmlnotation.xsl
+++ b/helm/style/mmlnotation.xsl
@@ -139,26 +139,24 @@
      <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>
@@ -396,4 +394,4 @@
 </xsl:template>
 
 
-</xsl:stylesheet>
\ No newline at end of file
+</xsl:stylesheet>