X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-mmlp.xsl;h=19a88113b0ec84ced4ffd706353a4cb304455820;hb=a2f9abb0b4f07678de024d4afb371ba59183edf0;hp=8c9b8ead19ca45b35f138f5de16d0b900add3cc2;hpb=85ccebb566c36671ca753debe09e6dd5c9dd0df7;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index 8c9b8ead1..19a88113b 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -80,7 +80,7 @@
     </m:mo>
   </xsl:template>
 
-  <xsl:template name="cursor">
+  <xsl:template match="tml:cursor[@visible='1']">
     <xsl:choose>
       <xsl:when test="substring(@val,1,1)='\'">
         <m:mrow>
@@ -100,24 +100,7 @@
            <xsl:attribute name="xref">
              <xsl:value-of select="@id"/>
            </xsl:attribute>
-         </xsl:if>I</m:mtext>
-      </xsl:otherwise>
-    </xsl:choose>
-  </xsl:template>
-
-  <xsl:template match="tml:cursor[@visible='1']">
-    <xsl:param name="annotation" select="/.."/>
-    <xsl:choose>
-      <xsl:when test="$annotation">
-        <m:msub>
-	  <xsl:call-template name="cursor"/>
-	  <m:mtext>
-	    <xsl:value-of select="$annotation"/>
-	  </m:mtext>
-	</m:msub>
-      </xsl:when>
-      <xsl:otherwise>
-        <xsl:call-template name="cursor"/>
+         </xsl:if><xsl:value-of select="@val"/>I</m:mtext>
       </xsl:otherwise>
     </xsl:choose>
   </xsl:template>
@@ -226,12 +209,9 @@
   </xsl:template>
 
   <xsl:template match="tml:g">
-    <xsl:param name="annotation" select="/.."/>
     <xsl:choose>
       <xsl:when test="not(@id) and count(*) = 1">
-        <xsl:apply-templates select="*[1]">
-	  <xsl:with-param name="annotation" select="$annotation"/>
-	</xsl:apply-templates>
+        <xsl:apply-templates select="*[1]"/>
       </xsl:when>
       <xsl:when test="tml:cursor">
     	<m:mstyle mathbackground="#e0e0e0">
@@ -241,9 +221,7 @@
             </xsl:attribute>
 	  </xsl:if>
 	  <m:mrow>
-    	    <xsl:apply-templates select="*">
-	      <xsl:with-param name="annotation" select="$annotation"/>
-	    </xsl:apply-templates>
+    	    <xsl:apply-templates select="*"/>
 	  </m:mrow>
     	</m:mstyle>
       </xsl:when>
@@ -254,9 +232,7 @@
               <xsl:value-of select="@id"/>
             </xsl:attribute>
 	  </xsl:if>
-    	  <xsl:apply-templates select="*">
-	    <xsl:with-param name="annotation" select="$annotation"/>
-	  </xsl:apply-templates>
+    	  <xsl:apply-templates select="*"/>
     	</m:mrow>
       </xsl:otherwise>
     </xsl:choose>
@@ -1034,4 +1010,9 @@
     </m:mfrac>
   </xsl:template>
 
+  <xsl:template match="tml:c[@name='space']">
+    <m:mspace width="veryverythickmathspace">
+    </m:mspace>
+  </xsl:template>
+
 </xsl:stylesheet>