]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mmlextension.xsl
Modified Files:
[helm.git] / helm / style / mmlextension.xsl
index 7e9bd1e5f085b1711a8a64458e66c7d9db7f211c..b9cd3165ef2bc2e4d1e98ed03d4fb4ce686950a6 100644 (file)
@@ -414,7 +414,7 @@ which generates the toplevel element (see for instance xlink) -->
     <xsl:variable name="charlength"><xsl:apply-templates select="m:csymbol" mode="charcount"/></xsl:variable>
     <m:mrow>
      <xsl:if test="@id">
-      <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
+      <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
      </xsl:if>
      <xsl:variable name="id" select="m:csymbol/@id"/>
      <xsl:choose>
@@ -1715,7 +1715,7 @@ which generates the toplevel element (see for instance xlink) -->
         <xsl:apply-templates select="*[4]"/>
         <m:mo mathcolor="Green">
          <xsl:if test="$id != ''">
-          <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+          <xsl:attribute name="xref"><xsl:value-of select="$id"/></xsl:attribute>
          </xsl:if>&#8592;</m:mo>
         <xsl:apply-templates select="*[2]"/>
         <m:mo stretchy="false">]</m:mo>
@@ -1725,7 +1725,7 @@ which generates the toplevel element (see for instance xlink) -->
         <m:msup>
          <m:mo mathcolor="Green">
           <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+           <xsl:attribute name="xref"><xsl:value-of select="$id"/></xsl:attribute>
           </xsl:if>&#8593;</m:mo>
         <xsl:apply-templates select="*[2]"/>
         </m:msup>
@@ -1740,7 +1740,7 @@ which generates the toplevel element (see for instance xlink) -->
         <m:msubsup>
          <m:mo mathcolor="Green">
           <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+           <xsl:attribute name="xref"><xsl:value-of select="$id"/></xsl:attribute>
           </xsl:if>&#8593;</m:mo>
         <xsl:apply-templates select="*[3]"/>
         <xsl:apply-templates select="*[4]"/>
@@ -1757,7 +1757,7 @@ which generates the toplevel element (see for instance xlink) -->
         <m:munder>
          <m:mo mathcolor="Green">
           <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+           <xsl:attribute name="xref"><xsl:value-of select="$id"/></xsl:attribute>
           </xsl:if>&#8594;</m:mo>
           <m:mi mathcolor="Green">&#946;</m:mi>
         </m:munder>
@@ -1769,7 +1769,7 @@ which generates the toplevel element (see for instance xlink) -->
         <m:munderover>
          <m:mo mathcolor="Green">
           <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+           <xsl:attribute name="xref"><xsl:value-of select="$id"/></xsl:attribute>
           </xsl:if>&#8594;</m:mo>
           <m:mi mathcolor="Green">&#946;</m:mi>
           <m:mi mathcolor="Green">*</m:mi>
@@ -1782,7 +1782,7 @@ which generates the toplevel element (see for instance xlink) -->
         <m:munder>
          <m:mo mathcolor="Green">
           <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+           <xsl:attribute name="xref"><xsl:value-of select="$id"/></xsl:attribute>
           </xsl:if>&#8658;</m:mo>
           <m:mi mathcolor="Green">&#946;</m:mi>
         </m:munder>
@@ -1794,7 +1794,7 @@ which generates the toplevel element (see for instance xlink) -->
         <m:munderover>
          <m:mo mathcolor="Green">
           <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+           <xsl:attribute name="xref"><xsl:value-of select="$id"/></xsl:attribute>
           </xsl:if>&#8658;</m:mo>
           <m:mi mathcolor="Green">&#946;</m:mi>
           <m:mi mathcolor="Green">*</m:mi>
@@ -1805,7 +1805,7 @@ which generates the toplevel element (see for instance xlink) -->
       <xsl:when test="$name='forgetful'">
        <m:mfenced open="|" close="|">
         <xsl:if test="$id != ''">
-         <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+         <xsl:attribute name="xref"><xsl:value-of select="$id"/></xsl:attribute>
         </xsl:if>
         <xsl:apply-templates select="*[2]"/>
        </m:mfenced>
@@ -1815,7 +1815,7 @@ which generates the toplevel element (see for instance xlink) -->
         <xsl:apply-templates select="*[2]"/>
         <m:mo mathcolor="Green">
          <xsl:if test="$id != ''">
-          <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+          <xsl:attribute name="xref"><xsl:value-of select="$id"/></xsl:attribute>
          </xsl:if>&#8773;</m:mo>
         <xsl:apply-templates select="*[3]"/>
       </xsl:when>
@@ -1823,7 +1823,7 @@ which generates the toplevel element (see for instance xlink) -->
       <xsl:when test="$name='forgetful'">
        <m:mfenced open="[" close="]">
         <xsl:if test="$id != ''">
-         <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+         <xsl:attribute name="xref"><xsl:value-of select="$id"/></xsl:attribute>
         </xsl:if>
         <xsl:apply-templates select="*[2]"/>
        </m:mfenced>
@@ -1898,7 +1898,7 @@ which generates the toplevel element (see for instance xlink) -->
     <xsl:variable name="charlength"><xsl:apply-templates select="*[position()=1]" mode="charcount"/></xsl:variable>
     <m:mrow>
      <xsl:if test="@id">
-      <xsl:attribute name="m:xref">
+      <xsl:attribute name="xref">
        <xsl:value-of select="@id"/>
       </xsl:attribute>
      </xsl:if>