<ul>
<li><span style="font-weight: bold;">September 2011.</span>
The
- denomination "lambda-delta" changes to "lambda_delta".</li>
+ denomination "lambda-delta" changes to "lambda_delta".
<ul>
<li>The character "-" is reserved in λδ textual syntax
(recognized by <span style="font-style: italic;">Helena
- 0.8.1</span>).<br>
+ 0.8.1</span>).
</li>
<li>Eventually, the occurrences of the character "-"
will be
on
December 2012.<br>
</li>
- </ul>
+ </ul></li>
</ul>
<ul>
<li><span style="font-weight: bold;">April 2011.</span>
The
specification of λδ version 2 and related topics is
restarted in <a href="http://matita.cs.unibo.it/">Matita
- 0.5</a>.</li>
- <ul>
+ 0.5</a>.
+ <ul>
<li><a href="apps_2.html">Here</a> is a page about
the
topics related to the specification (Applications).</li>
<li><a href="basic_2.html">Here</a> is a page about
the
- specification (Core).<br>
+ specification (Core).
</li>
- </ul>
+ </ul></li>
</ul>
<ul>
<li><span style="font-weight: bold;">December 2010.</span>
height: 31px;" alt="[PNG Used Here]" title="PNG Used Here"
src="download/PNGnow2.png"><br>
<br>
- Last update 2012-03-15 by <a
+ Last update 2012-04-16 by <a
href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
Guidi</a><br>
</div>