X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-mmlp.xsl;h=b0adffdc08a05ebf3c1fced16fac4b035872e087;hb=e4fed32b1519f436de9ca84c3c9c67e1530808b6;hp=7b225f0e3c1a2f15799e256d90c3634a7ef857db;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index 7b225f0e3..b0adffdc0 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -96,6 +96,69 @@
     </m:mo>
   </xsl:template>
 
+  <xsl:template match="tml:s">
+<!-- this template is used only for testing purpose and should not be here-->
+    <m:mspace width="veryverythickmathspace">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+    </m:mspace>
+  </xsl:template>
+
+<!--
+  <xsl:template name="cursor">
+    <xsl:choose>
+      <xsl:when test="contains(@val, '\')">
+        <m:mrow>
+	  <xsl:if test="@id">
+	    <xsl:attribute name="xref">
+	      <xsl:value-of select="@id"/>
+	    </xsl:attribute>
+	  </xsl:if>
+	  <xsl:if test="substring-before(@val, '\')">
+            <m:mtext><xsl:value-of select="substring-before(@val, '\')"/></m:mtext>
+	  </xsl:if>
+          <m:mo stretchy="false">&#x2329;</m:mo>
+          <m:mtext mathcolor="blue"><xsl:value-of select="concat('\', substring-after(@val, '\'))"/></m:mtext>
+          <m:mo stretchy="false">&#x232a;</m:mo>
+	</m:mrow>
+      </xsl:when>
+      <xsl:when test="string-length(@val)>=1">
+        <m:mrow>
+	  <xsl:if test="@id">
+	    <xsl:attribute name="xref">
+	      <xsl:value-of select="@id"/>
+	    </xsl:attribute>
+	  </xsl:if>
+	  <xsl:choose>
+	    <xsl:when test="contains('0123456789', substring(@val, 1, 1))">
+              <m:mn>
+	        <xsl:value-of select="@val"/>
+	      </m:mn>
+	    </xsl:when>
+	    <xsl:otherwise>
+	      <m:mi>
+	        <xsl:value-of select="@val"/>
+	      </m:mi>
+	    </xsl:otherwise>
+	  </xsl:choose>
+	  <m:mtext mathcolor="blue">I</m:mtext>
+	</m:mrow>
+      </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>I</m:mtext>
+      </xsl:otherwise>
+    </xsl:choose>
+  </xsl:template>
+  -->
+
   <xsl:template match="tml:o[@val='-']">
     <m:mo>
       <xsl:if test="@id">
@@ -121,6 +184,28 @@
           <m:mo stretchy="false">&#x232a;</m:mo>
         </m:mrow>
       </xsl:when>
+      <xsl:when test="string-length(@val)>=1">
+        <m:mrow>
+	  <xsl:if test="@id">
+	    <xsl:attribute name="xref">
+	      <xsl:value-of select="@id"/>
+	    </xsl:attribute>
+	  </xsl:if>
+	  <xsl:choose>
+	    <xsl:when test="contains('0123456789', substring(@val, 1, 1))">
+              <m:mn>
+	        <xsl:value-of select="@val"/>
+	      </m:mn>
+	    </xsl:when>
+	    <xsl:otherwise>
+	      <m:mi>
+	        <xsl:value-of select="@val"/>
+	      </m:mi>
+	    </xsl:otherwise>
+	  </xsl:choose>
+	  <m:mtext mathcolor="blue">I</m:mtext>
+	</m:mrow>
+      </xsl:when>
       <xsl:otherwise>
         <m:mtext mathcolor="blue">
          <xsl:if test="@id">
@@ -130,7 +215,7 @@
          </xsl:if><xsl:value-of select="@val"/>I</m:mtext>
       </xsl:otherwise>
     </xsl:choose>
-  </xsl:template>
+  </xsl:template>-->
 
   <xsl:template match="tml:cursor[not(@visible) or @visible='0']">
   </xsl:template>
@@ -1037,9 +1122,17 @@
     </m:mfrac>
   </xsl:template>
 
-  <xsl:template match="tml:c[@name='space']">
-    <m:mspace width="veryverythickmathspace">
-    </m:mspace>
+  <xsl:template match="tml:c[@name='nodeside']">
+<!-- nodeside  -->
+    <m:mfrac>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <xsl:apply-templates select="*[2]"/>
+    </m:mfrac>
   </xsl:template>
 
 </xsl:stylesheet>