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

diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index 034c5073a..8c9b8ead1 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -3,6 +3,7 @@
      xmlns:xsl="http://www.w3.org/1999/XSL/Transform" 
      xmlns:tml="http://helm.cs.unibo.it/2002/TML"
      xmlns:m="http://www.w3.org/1998/Math/MathML"
+     exclude-result-prefixes="tml"
      version="1.0">
 
   <xsl:output indent="yes"/>
@@ -68,7 +69,18 @@
     </m:mo>
   </xsl:template>
 
-  <xsl:template match="tml:cursor">
+  <xsl:template match="tml:o[@val='-']">
+    <m:mo>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      &#x2212;
+    </m:mo>
+  </xsl:template>
+
+  <xsl:template name="cursor">
     <xsl:choose>
       <xsl:when test="substring(@val,1,1)='\'">
         <m:mrow>
@@ -84,17 +96,35 @@
       </xsl:when>
       <xsl:otherwise>
         <m:mtext mathcolor="blue">
-          <xsl:if test="@id">
-            <xsl:attribute name="xref">
-              <xsl:value-of select="@id"/>
-            </xsl:attribute>
-          </xsl:if>
-	  <xsl:value-of select="@val"/>
-	</m:mtext>
+         <xsl:if test="@id">
+           <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:otherwise>
+    </xsl:choose>
+  </xsl:template>
+
+  <xsl:template match="tml:cursor[not(@visible) or @visible='0']">
+  </xsl:template>
+
   <xsl:template match="tml:sb[@under='1'][*[1]/tml:sp[@over='1']]">
     <m:munderover>
       <xsl:if test="@id">
@@ -196,9 +226,12 @@
   </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:apply-templates select="*[1]">
+	  <xsl:with-param name="annotation" select="$annotation"/>
+	</xsl:apply-templates>
       </xsl:when>
       <xsl:when test="tml:cursor">
     	<m:mstyle mathbackground="#e0e0e0">
@@ -208,7 +241,9 @@
             </xsl:attribute>
 	  </xsl:if>
 	  <m:mrow>
-    	    <xsl:apply-templates select="*"/>
+    	    <xsl:apply-templates select="*">
+	      <xsl:with-param name="annotation" select="$annotation"/>
+	    </xsl:apply-templates>
 	  </m:mrow>
     	</m:mstyle>
       </xsl:when>
@@ -219,7 +254,9 @@
               <xsl:value-of select="@id"/>
             </xsl:attribute>
 	  </xsl:if>
-    	  <xsl:apply-templates select="*"/>
+    	  <xsl:apply-templates select="*">
+	    <xsl:with-param name="annotation" select="$annotation"/>
+	  </xsl:apply-templates>
     	</m:mrow>
       </xsl:otherwise>
     </xsl:choose>
@@ -553,8 +590,16 @@
           <xsl:value-of select="@id"/>
         </xsl:attribute>
       </xsl:if>
-      <xsl:apply-templates select="*[2]"/>
-      <xsl:apply-templates select="*[1]"/>
+      <xsl:choose>
+        <xsl:when test="count(*) &lt; 2">
+	  <m:mrow/>
+	  <xsl:apply-templates select="*[1]"/>
+	</xsl:when>
+	<xsl:otherwise>
+          <xsl:apply-templates select="*[2]"/>
+          <xsl:apply-templates select="*[1]"/>
+	</xsl:otherwise>
+      </xsl:choose>
     </m:mroot>
   </xsl:template>
 
@@ -669,6 +714,12 @@
         </xsl:attribute>
       </xsl:if>
       <xsl:apply-templates select="*[1]"/>
+      <xsl:if test="tml:g/tml:cursor[@visible='1']">
+        <m:msub>
+          <m:mtext mathcolor="#808080">}</m:mtext>
+    	  <m:mtext><xsl:value-of select="@name"/></m:mtext>
+        </m:msub>
+      </xsl:if>
     </m:mstyle>
   </xsl:template>