--- /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:ld="http://lambdadelta.info"
+ 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="lambdadelta digital library"/>
+ <title>lambdadelta digital library (LDDL)</title>
+ <link rel="stylesheet" type="text/css"
+ href="http://lambdadelta.info/css/ld.css"
+ />
+ <link rel="stylesheet" type="text/css"
+ href="http://lambdadelta.info/css/lddl.css"
+ />
+ <link rel="shortcut icon"
+ href="http://lambdadelta.info/download/crux_16.ico"
+ />
+ </head><body>
+ <div class="spacer">
+ <a href="http://lambdadelta.info/">
+ <img class="icon32"
+ alt="[lambdadelta home]" title="lambdadelta home"
+ src="http://lambdadelta.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="lambdadelta rainbow rule"
+ src="http://lambdadelta.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://lambdadelta.info/download/xml_xsl2.png"
+ /></a>
+ <a href="http://lambdadelta.info/implementation.html#helena">
+ <img class="w3c"
+ alt="[Powered by Helena lambdadelta processor]"
+ title="Powered by Helena lambdadelta processor"
+ src="http://lambdadelta.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://lambdadelta.info/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="ld: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>
projects / helm.git / blobdiff