X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl.xsl;h=6fd5a3dbfbce9d6cc1f03f7212df1afdc0446014;hb=528f8ea107f689d07d060e1d31ba32bf65b4e6ba;hp=2711cff96a318c2f17f6a6c559061faf0717562b;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/lddl.xsl b/helm/www/lambdadelta/xslt/lddl.xsl
index 2711cff96..6fd5a3dbf 100644
--- a/helm/www/lambdadelta/xslt/lddl.xsl
+++ b/helm/www/lambdadelta/xslt/lddl.xsl
@@ -11,23 +11,18 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ -->
 
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                              xmlns="http://www.w3.org/1999/xhtml"
->
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
-<xsl:param name="baseurl"/>
+<xsl:strip-space elements="*"/>
 
 <xsl:include href="lddl_library.xsl"/>
 <xsl:include href="lddl_term.xsl"/>
-<xsl:include href="lddl_entity.xsl"/>
+<xsl:include href="lddl_constant.xsl"/>
 <xsl:include href="lddl_root.xsl"/>
 
 <xsl:output 
    method="xml"
-   doctype-public="-//W3C//DTD XHTML 1.1//EN"
-   doctype-system="http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"   
    encoding="UTF-8"
-   indent="no"
 />
 
 </xsl:stylesheet>