]> matita.cs.unibo.it Git - helm.git/commitdiff
The stylesheet used to generate an empty (and not even well-formed) XML document
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Apr 2003 17:15:18 +0000 (17:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Apr 2003 17:15:18 +0000 (17:15 +0000)
when given a document whose root element is tml:tex and whose only child
is a non-visible cursor. The problem is fixed generating a <m:math/> document
(ignoring the visibility status of the cursor).

helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl

index b0adffdc08a05ebf3c1fced16fac4b035872e087..9694df75fbcac111aac2df1a9653fffc9b320a14 100644 (file)
     </xsl:choose>
   </xsl:template>
 
+  <xsl:template match="tml:tex[not(tml:math)]">
+    <!-- This is an empty TeX document. We generate the corresponding  -->
+    <!-- empty MathML document.                                        -->
+    <m:math/>
+  </xsl:template>
+
   <xsl:template match="tml:math">
     <m:math>
       <xsl:if test="@id">
          </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>