From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 9 Nov 2001 09:49:44 +0000 (+0000)
Subject: indent="yes" in xsl:output removed to impreve performance.
X-Git-Tag: v0_1_3~5
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fecad5c7499c396c8ff89fe7d353573991db8774;p=helm.git

indent="yes" in xsl:output removed to impreve performance.
---

diff --git a/helm/style/mmlctop.xsl-0.14 b/helm/style/mmlctop.xsl-0.14
index 693f962a3..f1ffd20fa 100755
--- a/helm/style/mmlctop.xsl-0.14
+++ b/helm/style/mmlctop.xsl-0.14
@@ -37,7 +37,11 @@
 <!-- HELM: we don't have a default namespace.
      Removed xmlns="http://www.w3.org/1998/Math/MathML" -->
 
+<!-- HELM: was
 <xsl:output method="xml" indent="yes"/>
+-->
+<xsl:output method="xml"/>
+<!-- HELM -->
 
 <xsl:strip-space elements="apply semantics annotation-xml
         csymbol fn cn ci interval matrix matrixrow vector