more files to Basic_2

[helm.git] / helm / www / lambda_delta / news.html

diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index 6f8d840a19eb7f3c641d68c320ec15bdd2cdcbfd..e3d13c5eebeadb1483471530e82a7a9e6bc83def 100644 (file)
--- 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