]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/xml/ld-html.xsl
Additional contribs.
[helm.git] / helm / software / lambda-delta / xml / ld-html.xsl
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <!--
4     ||M||  This file is part of HELM, an Hypertextual, Electronic        
5     ||A||  Library of Mathematics, developed at the Computer Science     
6     ||T||  Department, University of Bologna, Italy.                     
7     ||I||                                                                
8     ||T||  HELM is free software; you can redistribute it and/or         
9     ||A||  modify it under the terms of the GNU General Public License   
10     \   /  version 2 or (at your option) any later version.              
11      \ /   This software is distributed as is, NO WARRANTY.              
12       V_______________________________________________________________ -->
13
14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
15
16 <xsl:param name="baseurl"/>
17
18 <xsl:include href="ld-html-library.xsl"/>
19 <xsl:include href="ld-html-term.xsl"/>
20 <xsl:include href="ld-html-entity.xsl"/>
21 <xsl:include href="ld-html-root.xsl"/>
22
23 <xsl:output 
24    method="html"
25    doctype-system="http://www.w3.org/TR/html4/loose.dtd"
26    doctype-public="-//W3C//DTD HTML 4.01 Transitional//EN"
27    encoding="UTF-8"
28    indent="no"
29 />
30
31 </xsl:stylesheet>