Fixes a bug in is_flexible (when checking a meta in subst, we did a recursive

[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 99e4710355592d4de3a175342ecff616f3cb4124..e3d13c5eebeadb1483471530e82a7a9e6bc83def 100644 (file)
--- 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