]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/news.html
axiom-
[helm.git] / helm / www / lambda_delta / news.html
index 99e4710355592d4de3a175342ecff616f3cb4124..6f8d840a19eb7f3c641d68c320ec15bdd2cdcbfd 100644 (file)
@@ -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>