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 <h1 style="text-align: center;">
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]"
31 title="lambda-delta home"
32 src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
35 <xsl:apply-templates/><h2/>
36 <div style="text-align: center;">
37 <a href="http://validator.w3.org/check?uri=referer">
38 <img alt="[Valid HTML 4.01 Transitional]"
39 title="Valid HTML 4.01 Transitional"
40 src="http://www.w3.org/Icons/valid-html401"
41 style="border: 0px solid ; width: 88px; height: 31px;"
43 <a href="http://www.anybrowser.org/campaign/">
44 <img alt="[Use any browser here]"
45 title="Use any browser here"
46 src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
47 style="border: 0px solid ; width: 147px; height: 42px;"
49 <img style="width: 88px; height: 31px;"
52 src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
58 <xsl:template match="ENTITY">
59 <xsl:apply-templates/><h2/>
61 Validation parameters:
62 sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
63 kernel options = "<xsl:value-of select="@options"/>"