+ <ul>
+ <li><span style="font-weight: bold;">September 2011.</span> The
+denomination "lambda-delta" changes to "lambda_delta".</li>
+ <ul>
+ <li>The character "-" is reserved in λδ textual syntax
+(recognized by <span style="font-style: italic;">Helena 0.8.1</span>).<br>
+ </li>
+ <li>Eventually, the occurrences of the character "-" will be
+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>
+ </li>
+ </ul>
+ </ul>
+ <ul>
+ <li><span style="font-weight: bold;">April 2011.</span> The
+specification of λδ version 2 is restarted in <a
+ href="http://matita.cs.unibo.it/">Matita 0.5</a>.<br>
+ </li>
+ </ul>