From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Nov 2000 14:31:55 +0000 (+0000)
Subject: Nothing important
X-Git-Tag: nogzip~158
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f39e3113c8c8cf23a0e14cc93ba854185797057f;p=helm.git

Nothing important
---

diff --git a/helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl b/helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl
index ada8b5cdd..2a680a435 100644
--- a/helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl
+++ b/helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl
@@ -24,6 +24,3 @@
 
 <xsl:variable name="showproof" select="0"/>
 </xsl:stylesheet>
-
-
-