Modified Files:

[helm.git] / helm / style / mmlnotation.xsl

diff --git a/helm/style/mmlnotation.xsl b/helm/style/mmlnotation.xsl
index a89a2e4b936b046ffc5d3114a19d9318a6ef91ae..babc7f41db0ff8e37626b736269fd2f05e406236 100644 (file)
--- a/helm/style/mmlnotation.xsl
+++ b/helm/style/mmlnotation.xsl
@@ -36,7 +36,7 @@
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:m="http://www.w3.org/1998/Math/MathML">
 
-<xsl:import href="mmlctop.xsl-0.14"/>
+<xsl:import href="mmlctop.xsl"/>
 
 
 <!-- *********************************** -->
@@ -53,7 +53,7 @@
   <xsl:when test="$charlength >= $framewidth">
    <m:mtable align="baseline 1" equalrows="false" columnalign="left">
     <xsl:if test="@id">
-     <xsl:attribute name="m:xref">
+     <xsl:attribute name="xref">
       <xsl:value-of select="@id"/>
      </xsl:attribute>
     </xsl:if>    
@@ -72,7 +72,7 @@
         <m:mphantom><m:mtext>__</m:mtext></m:mphantom>
         <m:mo>
          <xsl:if test="m:in/@id">
-          <xsl:attribute name="m:xref">
+          <xsl:attribute name="xref">
            <xsl:value-of select="m:in/@id"/>
           </xsl:attribute>
          </xsl:if>=</m:mo>
@@ -151,7 +151,7 @@
   <xsl:when test="$charlength >= $framewidth">
    <m:mtable align="baseline 1" equalrows="false" columnalign="left">
     <xsl:if test="@id">
-     <xsl:attribute name="m:xref">
+     <xsl:attribute name="xref">
       <xsl:value-of select="@id"/>
      </xsl:attribute>
     </xsl:if>    
@@ -170,7 +170,7 @@
         <m:mphantom><m:mtext>__</m:mtext></m:mphantom>
         <m:mo>
          <xsl:if test="*[1]/@id">
-          <xsl:attribute name="m:xref">
+          <xsl:attribute name="xref">
            <xsl:value-of select="*[1]/@id"/>
           </xsl:attribute>
          </xsl:if><xsl:value-of select="$symbol"/></m:mo>
@@ -199,7 +199,7 @@
   <xsl:when test="count(child::*) = 0">
    <m:mi>
     <xsl:if test="@id">
-     <xsl:attribute name="m:xref">
+     <xsl:attribute name="xref">
       <xsl:value-of select="@id"/>
      </xsl:attribute>
     </xsl:if>&#x02205;</m:mi>
@@ -218,7 +218,7 @@
           <m:mrow>
            <m:mo stretchy="false">
             <xsl:if test="@id">
-             <xsl:attribute name="m:xref">
+             <xsl:attribute name="xref">
               <xsl:value-of select="@id"/>
              </xsl:attribute>
             </xsl:if>{</m:mo>
@@ -240,7 +240,7 @@
           <m:mrow>
            <m:mo stretchy="false">
             <xsl:if test="@id">
-             <xsl:attribute name="m:xref">
+             <xsl:attribute name="xref">
               <xsl:value-of select="@id"/>
              </xsl:attribute>
             </xsl:if>}</m:mo>
@@ -256,7 +256,7 @@
           <m:mrow>
            <m:mo stretchy="false">
             <xsl:if test="@id">
-             <xsl:attribute name="m:xref">
+             <xsl:attribute name="xref">
               <xsl:value-of select="@id"/>
              </xsl:attribute>
             </xsl:if>{</m:mo>
@@ -285,7 +285,7 @@
           <m:mrow>
            <m:mo stretchy="false">
             <xsl:if test="@id">
-             <xsl:attribute name="m:xref">
+             <xsl:attribute name="xref">
               <xsl:value-of select="@id"/>
              </xsl:attribute>
             </xsl:if>}</m:mo>
@@ -307,7 +307,7 @@
 <xsl:template match = "m:apply[m:card[1]]">
   <m:mfenced open="|" close="|" stretchy="false">
     <xsl:if test="($SEM_SW=$SEM_XREF or $SEM_SW=$SEM_XREF_EXT) and @id">
-      <xsl:attribute name="m:xref">
+      <xsl:attribute name="xref">
         <xsl:value-of select="@id"/>
       </xsl:attribute>
     </xsl:if>