]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/lddl.xsl
- xhtbl: minor improvement
[helm.git] / helm / www / lambdadelta / xslt / lddl.xsl
index 2711cff96a318c2f17f6a6c559061faf0717562b..6fd5a3dbfbce9d6cc1f03f7212df1afdc0446014 100644 (file)
      \ /   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>