]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/ld_web.xsl
web site update
[helm.git] / helm / www / lambdadelta / xslt / ld_web.xsl
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <xsl:stylesheet version="1.0"
4                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
5 >
6
7 <xsl:param name="baseurl"/>
8 <xsl:param name="date"/>
9
10 <xsl:strip-space elements="*"/>
11
12 <xsl:include href="xhtbl.xsl"/>
13 <xsl:include href="ld_web_ebnf.xsl"/>
14 <xsl:include href="ld_web_library.xsl"/>
15 <xsl:include href="ld_web_root.xsl"/>
16
17 <xsl:output 
18    method="xml"
19    doctype-public="-//W3C//DTD XHTML 1.1//EN"
20    doctype-system="http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"   
21    encoding="UTF-8"
22 />
23
24 </xsl:stylesheet>