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

diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index 6f8d840a1..e3d13c5ee 100644
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.html
@@ -129,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