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

diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index 99e471035..e3d13c5ee 100644
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.html
@@ -54,8 +54,7 @@ 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>
@@ -130,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