1 <?xml version="1.0" encoding="UTF-8"?>
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.
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_______________________________________________________________ -->
14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
15 xmlns="http://www.w3.org/1999/xhtml"
18 <xsl:strip-space elements="ENTITY"/>
20 <xsl:template match="/">
21 <html xmlns="http://www.w3.org/1999/xhtml"><head>
22 <meta http-equiv="Content-Language" content="en-us"/>
23 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
24 <meta http-equiv="Content-Style-Type" content="text/css"/>
25 <meta name="author" content="Ferruccio Guidi"/>
26 <meta name="description" content="lambda-delta digital library"/>
27 <title>lambda-delta digital library (LDDL)</title>
28 <link rel="stylesheet" type="text/css"
29 href="http://helm.cs.unibo.it/lambda-delta/static/lddl/ld-html.css"
31 <link rel="shortcut icon"
32 href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
36 <a href="http://helm.cs.unibo.it/lambda-delta/">
38 alt="[lambda-delta home]" title="lambda-delta home"
39 src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
43 <xsl:call-template name="lddl"/>
47 alt="[Spacer]" title="lambda-delta rainbow rule"
48 src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
51 <xsl:apply-templates/>
53 <a href="http://validator.w3.org/check?uri=referer">
55 alt="[Valid XHTML 1.1]"
56 title="Valid XHTML 1.1"
57 src="http://www.w3.org/Icons/valid-xhtml11-blue"
59 <a href="http://jigsaw.w3.org/css-validator/check/referer">
61 alt="[Valid CSS level 2]"
62 title="Valid CSS level 2"
63 src="http://www.w3.org/Icons/valid-css2-blue"
65 <a href="http://www.w3.org/XML/">
67 alt="[Generated from XML via XSL]"
68 title="Generated from XML via XSL"
69 src="http://helm.cs.unibo.it/lambda-delta/download/xml_xsl2.png"
71 <a href="http://helm.cs.unibo.it/lambda-delta/implementation.html#helena">
73 alt="[Powered by Helena lambda-delta processor]"
74 title="Powered by Helena lambda-delta processor"
75 src="http://helm.cs.unibo.it/lambda-delta/download/helena-label.png"
77 <a href="http://www.w3.org/Graphics/PNG/">
81 src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
83 <a href="http://www.anybrowser.org/campaign/">
85 alt="[Viewable with any browser]"
86 title="Viewable with any browser"
87 src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"
93 <xsl:template match="ENTITY">
94 <xsl:apply-templates/>
96 <xsl:call-template name="vpars"/>
97 <xsl:call-template name="shier"/>
98 <xsl:call-template name="qt"/>
99 <xsl:value-of select="@hierarchy"/>
100 <xsl:call-template name="qt"/>
101 <xsl:call-template name="cm"/>
102 <xsl:call-template name="sp"/>
103 <xsl:call-template name="kopts"/>
104 <xsl:call-template name="qt"/>
105 <xsl:value-of select="@options"/>
106 <xsl:call-template name="qt"/>