X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=7b2a58987c53743ab764f2f5604fc0c019812c79;hb=ede1e31f13510c51d42d7b0448d3cbff132ec70c;hp=ee93a0f9adb86b98f2d347a0e659aed66a3e0c09;hpb=d966abb5707d0ce51be932b7bde99d4325d23a0c;p=helm.git

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index ee93a0f9a..7b2a58987 100644
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -211,7 +211,7 @@
     <div xmlns:ld="http://lambdadelta.info/" class="text">
      Informational pages on the specifications are provided.
    </div>
-    <ul xmlns:ld="http://lambdadelta.info/" id="">
+    <ul xmlns:ld="http://lambdadelta.info/" id="notice1">
       <li>
         <span class="emph alpha">Notice on displayed numerical acounts:</span>
       nodes are counted according to the "intrinsic complexity measure"
@@ -219,7 +219,7 @@
       Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].       
    </li>
     </ul>
-    <ul xmlns:ld="http://lambdadelta.info/" id="">
+    <ul xmlns:ld="http://lambdadelta.info/" id="notice2">
       <li>
         <span class="emph alpha">Notice on displayed logical structures:</span>
       from the logical standpoint, the source scripts are grouped in "planes"
@@ -360,6 +360,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 30 Dec 2015 12:08:04 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 30 Dec 2015 14:54:53 +0100</div>
   </body>
 </html>