]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_root.xsl
- xslt and Makefile improved, web pages regenerated
[helm.git] / helm / www / lambdadelta / xslt / ld_web_root.xsl
index 7c36784c9515e0adfc4babcaa44f347b1dfddc1e..e82b2784b521b049f7a21c27f1c8cba812d40f74 100644 (file)
@@ -2,10 +2,8 @@
 
 <xsl:stylesheet version="1.0"
                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-               xmlns:date="http://exslt.org/dates-and-times"
                 xmlns:ld="http://lambdadelta.info/"
                 xmlns="http://www.w3.org/1999/xhtml"
-                extension-element-prefixes="date"
 >
 
 <xsl:template match="ld:section">
@@ -53,7 +51,7 @@
    <div class="spacer"><br/></div>   
    <div class="spacer">
       <xsl:value-of select="'Last update: '"/> 
-      <xsl:value-of select="date:date-time()"/>
+      <xsl:value-of select="$date"/>
    </div>
 </xsl:template>
 
@@ -62,7 +60,7 @@
 </xsl:template>
 
 <xsl:template match="ld:page">
-   <html xmlns="http://www.w3.org/1999/xhtml" dir="ltr" lang="en-us"><head>
+   <html xsl:exclude-result-prefixes="ld" dir="ltr" lang="en-us"><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"/>