news update and some bugs fixed

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 926bcd5273762163ab1ddb6751cc27f04e3efb9d..739454623d63d475385335801e071c8b01ee6639 100644 (file)
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="">Abstract Syntax and Behavior <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b6.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="blocks">Abstract Syntax and Behavior <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b6.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">This is a summary of available syntactic items and reductions (block structure).
    </div>
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 21 Feb 2015 23:38:38 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 05 Mar 2015 16:42:28 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css
index e5df659b0162bf765d4814afaa21c61b905aa02c..b89905077d0c922a835827175cc3ab33f9e255eb 100644 (file)
--- a/helm/www/lambdadelta/css/ld_web.css
+++ b/helm/www/lambdadelta/css/ld_web.css
@@ -3,7 +3,7 @@
 /* general ******************************************************************/
 
 body {
-   background: rgb(255, 255, 255); 
+   background-color: rgb(255, 255, 255); 
    color: rgb(0, 0, 0);
    margin: 2.5%;
 }
@@ -11,13 +11,13 @@ body {
 a:link, a:visited, a:hover, a:active, a:focus {
    text-decoration: underline;
    color: inherit;
-   backgroud: inherit;
+   background-color: inherit;
 }
 
 a:hover {
    text-decoration: underline;
    color: inherit;
-   background: rgb(192, 192, 192);
+   background-color: rgb(192, 192, 192);
 }
 
 /* blocks *******************************************************************/

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index b990528b562cb4f5bf8fdf8aa652af8a582588a4..3b45a688cdfd82b3555acbf7c9e66616a59cf567 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -105,6 +105,13 @@
     <!-- ===================================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="milestones">Milestones <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
     </div>
+    <ul xmlns:ld="http://lambdadelta.info/">
+      <li>
+        <span class="emph delta">March 2015.</span>
+      The specification of λδ version 1 is validated by
+      <a href="http://matita.cs.unibo.it/">Matita 0.99.2</a>.
+   </li>
+    </ul>
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
         <span class="emph gamma">February 2015.</span>
@@ -347,6 +354,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 21 Feb 2015 23:49:14 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 05 Mar 2015 16:46:30 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index a6f70f9b7f64f86132edb7ed3b4380c667514d30..3e0f1f4af776acb81355294fc4696b07c1aa2f88 100644 (file)
--- a/helm/www/lambdadelta/web/home/news.ldw.xml
+++ b/helm/www/lambdadelta/web/home/news.ldw.xml
@@ -11,6 +11,11 @@
 
    <section3 name="milestones">Milestones</section3>
 
+   <news class="delta" date="March 2015.">
+      The specification of λδ version 1 is validated by
+      <link to="http://matita.cs.unibo.it/">Matita 0.99.2</link>.
+   </news>
+
    <news class="gamma" date="February 2015.">
       <rlink to="implementation.html#v2">"Helena 0.8.2"</rlink> is updated.
       <list><item>