<?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">
-<xsl:strip-space elements="ENTRY"/>
+<xsl:strip-space elements="ENTITY"/>
+
<xsl:template match="/">
<html><head>
<meta content="Ferruccio Guidi" name="author"/>
href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
/>
</head><body>
- <h1 style="text-align: center;">
+ <div style="text-align: center;"><br>
<a href="http://helm.cs.unibo.it/lambda-delta/">
<img style="border: 0px solid; width: 32px; height: 32px;"
alt="[lambda-delta home]"
title="lambda-delta home"
src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
/></a>
- </h1>
+ </div>
<xsl:apply-templates/><h2/>
<div style="text-align: center;">
<a href="http://validator.w3.org/check?uri=referer">
style="border: 0px solid ; width: 147px; height: 42px;"
/></a>
<img style="width: 88px; height: 31px;"
- alt="[png used here]"
- title="png used here"
+ alt="[PNG used here]"
+ title="PNG used here"
src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
/>
</div>
</body></html>
</xsl:template>
-<xsl:template match="ENTRY">
+<xsl:template match="ENTITY">
<xsl:apply-templates/><h2/>
<div>
Validation parameters: