X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fnews.ldw.xml;h=de56d6a08b1aa543efac0ffcd213e7d0ee586c1c;hb=2ec8ae0a49716b205bbf63568ee625ec1e9eb524;hp=3538b68d91778edff2dd01cf7342ffd6eda8e72a;hpb=dd731f05f181f45260a0c448cf995aa3d7adc1f2;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index 3538b68d9..de56d6a08 100644
--- a/helm/www/lambdadelta/web/home/news.ldw.xml
+++ b/helm/www/lambdadelta/web/home/news.ldw.xml
@@ -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>