]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/news.ldw.xml
- xhtbl: minor improvement
[helm.git] / helm / www / lambdadelta / web / home / news.ldw.xml
index 6254202c93c26d62ef6c366b7c9a1bb19a89c190..9f1f7f43e9654713a54df02829ceb88efd3bb0aa 100644 (file)
 
    <section3 name="milestones">Milestones</section3>
 
+   <news class="gamma" date="December 2014.">
+      <rlink to="implementation.html#v2">"Helena 0.8.2"</rlink> is released.
+      <list><item>
+         The corrected specification of Landau's "Grundlagen der Analysis"
+         is validated in λδ version 3. 
+      </item></list>
+   </news>
+
+   <news class="gamma" date="October 2014.">
+      <rlink to="documentation.html#ldJ2">λδ version 2A</rlink>
+      is released.
+   </news>
+
    <news class="beta" date="July 2014.">
       A new version of this site is online.
    </news>
    </news>
 
    <news class="beta" date="November 2010.">
-      "Helena 0.8.1" is released. 
+      <rlink to="implementation.html#v1">"Helena 0.8.1"</rlink> is released.
    </news>
 
    <news class="beta" date="September 2009.">
-      "Helena 0.8.0" is released and the
-      <rlink to="implementation.html#lddl">λδ Digital Library</rlink>
-      is started.
+      <rlink to="implementation.html#v0">"Helena 0.8.0"</rlink> is released and the
+      <rlink to="implementation.html#lddl">λδ Digital Library</rlink> is started.
    </news>
 
    <news class="alpha" date="June 2009.">