+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-
-<!--
- ||M|| This file is part of HELM, an Hypertextual, Electronic
- ||A|| Library of Mathematics, developed at the Computer Science
- ||T|| Department, University of Bologna, Italy.
- ||I||
- ||T|| HELM is free software; you can redistribute it and/or
- ||A|| modify it under the terms of the GNU General Public License
- \ / version 2 or (at your option) any later version.
- \ / This software is distributed as is, NO WARRANTY.
- V_______________________________________________________________ -->
-
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
- xmlns="http://www.w3.org/1999/xhtml"
->
-
-<xsl:strip-space elements="ENTITY"/>
-
-<xsl:template match="/">
- <html xmlns="http://www.w3.org/1999/xhtml"><head>
- <meta http-equiv="Content-Language" content="en-us"/>
- <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
- <meta http-equiv="Content-Style-Type" content="text/css"/>
- <meta name="author" content="Ferruccio Guidi"/>
- <meta name="description" content="lambda-delta digital library"/>
- <title>lambda-delta digital library (LDDL)</title>
- <link rel="stylesheet" type="text/css"
- href="http://lambda-delta.info/static/lddl/ld-html.css"
- />
- <link rel="shortcut icon"
- href="http://lambda-delta.info/download/crux-16.ico"
- />
- </head><body>
- <div class="spacer">
- <a href="http://lambda-delta.info/">
- <img class="icon32"
- alt="[lambda-delta home]" title="lambda-delta home"
- src="http://lambda-delta.info/download/crux-32.png"
- /></a>
- </div>
- <div class="head1">
- <xsl:call-template name="lddl"/>
- </div>
- <div class="spacer">
- <img class="rule"
- alt="[Spacer]" title="lambda-delta rainbow rule"
- src="http://lambda-delta.info/download/rainbow.png"
- />
- </div>
- <xsl:apply-templates/>
- <div class="spacer">
- <a href="http://validator.w3.org/check?uri=referer">
- <img class="w3c"
- alt="[Valid XHTML 1.1]"
- title="Valid XHTML 1.1"
- src="http://www.w3.org/Icons/valid-xhtml11-blue"
- /></a>
- <a href="http://jigsaw.w3.org/css-validator/check/referer">
- <img class="w3c"
- alt="[Valid CSS level 2]"
- title="Valid CSS level 2"
- src="http://www.w3.org/Icons/valid-css2-blue"
- /></a>
- <a href="http://www.w3.org/XML/">
- <img class="w3c"
- alt="[Generated from XML via XSL]"
- title="Generated from XML via XSL"
- src="http://lambda-delta.info/download/xml_xsl2.png"
- /></a>
- <a href="http://lambda-delta.info/implementation.html#helena">
- <img class="w3c"
- alt="[Powered by Helena lambda-delta processor]"
- title="Powered by Helena lambda-delta processor"
- src="http://lambda-delta.info/download/helena-label.png"
- /></a>
- <a href="http://www.w3.org/Graphics/PNG/">
- <img class="w3c"
- alt="[PNG used here]"
- title="PNG used here"
- src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
- /></a>
- <a href="http://www.anybrowser.org/campaign/">
- <img class="w3c"
- alt="[Viewable with any browser]"
- title="Viewable with any browser"
- src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"
- /></a>
- </div>
- </body></html>
-</xsl:template>
-
-<xsl:template match="ENTITY">
- <xsl:apply-templates/>
- <div class="text">
- <xsl:call-template name="vpars"/>
- <xsl:call-template name="shier"/>
- <xsl:call-template name="qt"/>
- <xsl:value-of select="@hierarchy"/>
- <xsl:call-template name="qt"/>
- <xsl:call-template name="cm"/>
- <xsl:call-template name="sp"/>
- <xsl:call-template name="kopts"/>
- <xsl:call-template name="qt"/>
- <xsl:value-of select="@options"/>
- <xsl:call-template name="qt"/>
- </div>
-</xsl:template>
-
-</xsl:stylesheet>