X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=e3d13c5eebeadb1483471530e82a7a9e6bc83def;hb=ef3bdc4be26f6518a82a79c64e986253f7aeaa3c;hp=4385f36aa804651dac7e7592c5c1c5e9f0b60ebf;hpb=cc57e6f6528ccc871a4d52d2ce4859c4a76fc0ca;p=helm.git

diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index 4385f36aa..e3d13c5ee 100644
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.html
@@ -54,16 +54,19 @@ replaced by "_" in all λδ-related identifiers.</li>
           <li>In particular, this refactoring involves file names and
 path names.</li>
           <li>The permanent λδ URL is sheduled to become <span
- style="font-style: italic;">http://lambda_delta.info</span> as soon as
-possible.<br>
+ style="font-style: italic;">http://lambda_delta.info</span> on December 2012.<br>
           </li>
         </ul>
       </ul>
       <ul>
         <li><span style="font-weight: bold;">April 2011.</span> The
 specification of λδ version 2 is restarted in <a
- href="http://matita.cs.unibo.it/">Matita 0.5</a>.<br>
-        </li>
+ href="http://matita.cs.unibo.it/">Matita 0.5</a>.</li>
+        <ul>
+          <li><a href="ld_basic_2.html">Here</a> is a page about the
+specification.<br>
+          </li>
+        </ul>
       </ul>
       <ul>
         <li><span style="font-weight: bold;">December 2010.</span>
@@ -94,7 +97,8 @@ as
 a
 part
 of
-the <a href="http://helm.cs.unibo.it/">HELM</a> software. <br>
+the
+          <a href="http://helm.cs.unibo.it/">HELM</a> software. <br>
         </li>
       </ul>
       <span style="font-weight: bold;"></span>
@@ -125,7 +129,7 @@ pages of the specification of λδ in Matita 0.5</a> are online.<br>
       </ul>
       <ul>
         <li><span style="font-weight: bold;">March 2008.</span> The
-specification of λδ version 2 in Coq 7.3.1 begins:
+specification of λδ version 2 begins in Coq 7.3.1 (false start).
 <!--          <ul>
             <li>native type assignment with new rules for application: <span
  style="font-style: italic;">nty</span> (it replaces <span
@@ -241,10 +245,9 @@ gives 4 resources and 2 sub-resources about λδ as the first results.</li>
  src="download/globe_trans.png"
  style="border: 0px solid ; width: 147px; height: 42px;"></a> <img
  style="width: 88px; height: 31px;" alt="[PNG Used Here]"
- title="PNG Used Here"
- src="download/PNGnow2.png"><br>
+ title="PNG Used Here" src="download/PNGnow2.png"><br>
 <br>
-Last update 2011-09-09 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 2011-10-03 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 Guidi</a><br>
 </div>
 </body>