]> matita.cs.unibo.it Git - helm.git/commitdiff
indent="yes" in xsl:output removed for performance increase.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Nov 2001 09:31:33 +0000 (09:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Nov 2001 09:31:33 +0000 (09:31 +0000)
helm/style/genmmlid.xsl

index b11ff7eb98f0d2a7ee3c7a884b6f70aba9527121..c4981c5d6692658d43852ee78765e58c52fb918d 100644 (file)
@@ -32,7 +32,7 @@
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:m="http://www.w3.org/1998/Math/MathML">
 
-<xsl:output method="xml" indent="yes"/>
+<xsl:output method="xml"/>
 
 <!-- Copy of the root or m:math or a node different from mml elements -->
 <!-- with all its attributes                                          -->