<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>
<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>
+ href="http://matita.cs.unibo.it/">Matita 0.5</a>.</li>
+ <ul>
+ <li><a href="ld_basic_2.html">Here</a> is a page about the
+specification.<br>
+ </li>
+ </ul>
</ul>
<ul>
<li><span style="font-weight: bold;">December 2010.</span>
a
part
of
-the <a href="http://helm.cs.unibo.it/">HELM</a> software. <br>
+the
+ <a href="http://helm.cs.unibo.it/">HELM</a> software. <br>
</li>
</ul>
<span style="font-weight: bold;"></span>
</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
src="download/globe_trans.png"
style="border: 0px solid ; width: 147px; height: 42px;"></a> <img
style="width: 88px; height: 31px;" alt="[PNG Used Here]"
- title="PNG Used Here"
- src="download/PNGnow2.png"><br>
+ title="PNG Used Here" src="download/PNGnow2.png"><br>
<br>
-Last update 2011-09-09 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 2011-10-03 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
Guidi</a><br>
</div>
</body>