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="ENTRY"/>
17 <xsl:template match="/">
19 <meta content="Ferruccio Guidi" name="author"/>
20 <meta content="lambda-delta digital library" name="description"/>
21 <title>lambda-delta digital library (LDDL)</title>
22 <link rel="shortcut icon"
23 href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
26 <h1 style="text-align: center;">
27 <a href="http://helm.cs.unibo.it/lambda-delta/">
28 <img style="border: 0px solid; width: 32px; height: 32px;"
29 alt="[lambda-delta home]"
30 title="lambda-delta home"
31 src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
34 <xsl:apply-templates/><h2/>
35 <div style="text-align: center;">
36 <a href="http://validator.w3.org/check?uri=referer">
37 <img alt="[Valid HTML 4.01 Transitional]"
38 title="Valid HTML 4.01 Transitional"
39 src="http://www.w3.org/Icons/valid-html401"
40 style="border: 0px solid ; width: 88px; height: 31px;"
42 <a href="http://www.anybrowser.org/campaign/">
43 <img alt="[Use any browser here]"
44 title="Use any browser here"
45 src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
46 style="border: 0px solid ; width: 147px; height: 42px;"
48 <img style="width: 88px; height: 31px;"
51 src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
57 <xsl:template match="ENTRY">
58 <xsl:apply-templates/><h2/>
60 Validation parameters:
61 sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
62 kernel options = "<xsl:value-of select="@options"/>"