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

indent="yes" in xsl:output removed for performance increase.
---

diff --git a/helm/style/genmmlid.xsl b/helm/style/genmmlid.xsl
index b11ff7eb9..c4981c5d6 100644
--- a/helm/style/genmmlid.xsl
+++ b/helm/style/genmmlid.xsl
@@ -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                                          -->