]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/news.ldw.xml
documentation update
[helm.git] / helm / www / lambdadelta / web / home / news.ldw.xml
index 966e0fa4c550d6e6a5b23965dc3228df12c1ddb9..2e6e1493621d424923571c2dc3b670ff08982daa 100644 (file)
 
    <section3 name="milestones">Milestones</section3>
 
+   <news class="alpha" date="December 2015.">
+      <rlink to="documentation.html#ldJ3a">Second journal paper on λδ</rlink>
+      accepted for publication.
+   </news>
+
    <news class="gamma" date="December 2015.">
       <rlink to="implementation.html#v3">"Helena 0.8.3"</rlink> is released.
    </news>