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">
16 <xsl:strip-space elements="ENTITY"/>
18 <xsl:template match="/">
20 <meta content="Ferruccio Guidi" name="author"/>
21 <meta content="lambda-delta digital library" name="description"/>
22 <title>lambda-delta digital library (LDDL)</title>
23 <link rel="shortcut icon"
24 href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
27 <div style="text-align: center;"><h2/>
28 <a href="http://helm.cs.unibo.it/lambda-delta/">
29 <img style="border: 0px solid; width: 32px; height: 32px;"
30 alt="[lambda-delta home]" title="lambda-delta home"
31 src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
33 <h1><xsl:call-template name="ld"/> Digital Library (LDDL)</h1>
34 <img style="width: 95%; height: 4px;"
35 alt="[Separator]" title="Separator"
36 src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
38 <table border="0" cellpadding="0" cellspacing="0"
39 style="text-align: left; width: 95%;
40 margin-left: auto; margin-right: auto;"
41 ><tbody><tr><td style="vertical-align: top;">
42 <xsl:apply-templates/>
43 </td></tr></tbody></table><h2/>
44 <a href="http://validator.w3.org/check?uri=referer">
45 <img alt="[Valid HTML 4.01 Transitional]"
46 title="Valid HTML 4.01 Transitional"
47 src="http://www.w3.org/Icons/valid-html401"
48 style="border: 0px solid ; width: 88px; height: 31px;"
50 <a href="http://www.anybrowser.org/campaign/">
51 <img alt="[Use any browser here]"
52 title="Use any browser here"
53 src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
54 style="border: 0px solid ; width: 147px; height: 42px;"
56 <img style="width: 88px; height: 31px;"
59 src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
65 <xsl:template match="ENTITY">
66 <xsl:apply-templates/><h2/>
68 Validation parameters:
69 sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
70 kernel options = "<xsl:value-of select="@options"/>"