From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 28 Apr 2003 17:15:18 +0000 (+0000)
Subject: The stylesheet used to generate an empty (and not even well-formed) XML document
X-Git-Tag: before_refactoring~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=88e54ec00a084a465a6a87e9b9d40f38c7e671fd;p=helm.git

The stylesheet used to generate an empty (and not even well-formed) XML document
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).
---

diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index b0adffdc0..9694df75f 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -48,6 +48,12 @@
     </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">
@@ -215,7 +221,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>