+ <span class="emph alpha">December 2015.</span>
+ <a href="http://lambdadelta.info/documentation.html#ldJ3a">Second journal paper on λδ</a>
+ accepted for publication.
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="emph gamma">December 2015.</span>
+ <a href="http://lambdadelta.info/implementation.html#v3">"Helena 0.8.3"</a> is released.
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="emph delta">August 2015.</span>
+ The specification of λδ version 2A1 is concluded.
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="emph gamma">June 2015.</span>
+ The corrected specification of Landau's "Grundlagen der Analysis"
+ is validated in a λProlog implementation of λδ version 3.
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="emph delta">March 2015.</span>
+ The specification of λδ version 1 is validated by
+ <a href="http://matita.cs.unibo.it/">Matita 0.99.2</a>.
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="emph gamma">February 2015.</span>
+ <a href="http://lambdadelta.info/implementation.html#v2">"Helena 0.8.2"</a> is updated.
+ <ul>
+ <li class="">
+ The translated specification of Landau's "Grundlagen der Analysis"
+ is validated in CC by <a href="http://coq.inria.fr/">Coq 8.4.3</a>.
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="emph delta">January 2015.</span>
+ The specification of <a href="http://lambdadelta.info/specification.html#v1">λδ version 1</a>
+ is updated with backports from the abandoned specification of λδ version 2.