X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web.xsl;h=61c64b8fb0b34a8b939f52524377fb1d560eb313;hb=9a0dc83131e9695ffd4254ff5546817ca431d8c2;hp=288973806cb001899b188388bd0a1a9c7ecf8c94;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web.xsl b/helm/www/lambdadelta/xslt/ld_web.xsl
index 288973806..61c64b8fb 100644
--- a/helm/www/lambdadelta/xslt/ld_web.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web.xsl
@@ -5,8 +5,12 @@
 >
 
 <xsl:param name="baseurl"/>
+<xsl:param name="date"/>
+
+<xsl:strip-space elements="*"/>
 
 <xsl:include href="xhtbl.xsl"/>
+<xsl:include href="ld_web_ebnf.xsl"/>
 <xsl:include href="ld_web_library.xsl"/>
 <xsl:include href="ld_web_root.xsl"/>
 
@@ -15,7 +19,6 @@
    doctype-public="-//W3C//DTD XHTML 1.1//EN"
    doctype-system="http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"   
    encoding="UTF-8"
-   indent="yes"
 />
 
 </xsl:stylesheet>