non uniform coercions landed in hints_declaration.ma, setoids and sets library

[helm.git] / helm / software / lambda-delta / xml / ld-html-root.xsl
diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl

index 8ee5ebcae428268f41ee9e97386f740b3eadf38d..4a525a74297bdbac9da304f42d55affbc09dc772 100644 (file)
--- a/helm/software/lambda-delta/xml/ld-html-root.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-root.xsl
@@ -13,7 +13,8 @@
  
  <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"/>
@@ -23,16 +24,23 @@
              href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
        />
     </head><body>
-      <h1 style="text-align: center;">
-         <a href="http://helm.cs.unibo.it/lambda-delta/">
+      <div style="text-align: center;"><h2/>         
+        <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"
+             alt="[lambda-delta home]" title="lambda-delta home"
               src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
          /></a>
-      </h1>
-      <xsl:apply-templates/><h2/>
-      <div style="text-align: center;">
+        <h1><xsl:call-template name="ld"/> Digital Library (LDDL)</h1>
+        <img style="width: 95%; height: 4px;"
+             alt="[Separator]" title="Separator"
+             src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
+        />
+         <table border="0" cellpadding="0" cellspacing="0"
+                style="text-align: left; width: 95%; 
+                      margin-left: auto; margin-right: auto;"
+         ><tbody><tr><td style="vertical-align: top;">
+           <xsl:apply-templates/>
+        </td></tr></tbody></table><h2/>
           <a href="http://validator.w3.org/check?uri=referer">
           <img alt="[Valid HTML 4.01 Transitional]"
               title="Valid HTML 4.01 Transitional"
@@ -46,15 +54,15 @@
                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>
+      <h2/></div>
     </body></html>
  </xsl:template>
  
-<xsl:template match="ENTRY">
+<xsl:template match="ENTITY">
     <xsl:apply-templates/><h2/>
     <div>
        Validation parameters: