]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/news.ldw.xml
web site update
[helm.git] / helm / www / lambdadelta / web / home / news.ldw.xml
index 3538b68d91778edff2dd01cf7342ffd6eda8e72a..de56d6a08b1aa543efac0ffcd213e7d0ee586c1c 100644 (file)
@@ -46,7 +46,7 @@
       The specification of λδ-2A is concluded.
    </news>
 
-   <news class="gamma" date="June 2015.">
+   <news class="alpha" date="June 2015.">
       The corrected specification of Landau's "Grundlagen der Analysis"
       is validated in a λProlog implementation of λδ-3.
    </news>