]> matita.cs.unibo.it Git - helm.git/commitdiff
indent="yes" in xsl:output removed to impreve performance.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Nov 2001 09:49:44 +0000 (09:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Nov 2001 09:49:44 +0000 (09:49 +0000)
helm/style/mmlctop.xsl-0.14

index 693f962a387a15db6903ef6cf9bbeb12d57801ff..f1ffd20fa9eb547bbb42b10ef34ea63d43e77907 100755 (executable)
 <!-- 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