From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 5 Mar 2015 15:54:46 +0000 (+0000)
Subject: news update and some bugs fixed
X-Git-Tag: make_still_working~730
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e36a0eced135e6f1b79d06c78a408918f65376b6;p=helm.git

news update and some bugs fixed
---

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 926bcd527..739454623 100644
--- 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 e5df659b0..b89905077 100644
--- 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 b990528b5..3b45a688c 100644
--- 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 a6f70f9b7..3e0f1f4af 100644
--- 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>