X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fnews.ldw.xml;h=2a0072be0f25669772e0f8b88bef82f53fd0d917;hb=85155a59a3986914b005d7e7edd7351d8090e234;hp=92dda54917a39bee3188888dec8f5bf905525666;hpb=bda6d964ce9729a694e3fd3ead386ca9f2ca14e3;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index 92dda5491..2a0072be0 100644
--- a/helm/www/lambdadelta/web/home/news.ldw.xml
+++ b/helm/www/lambdadelta/web/home/news.ldw.xml
@@ -7,7 +7,7 @@
 >
    <sitemap name="sitemap"/>
 
-   <section5 name="milestones">Milestones</section5>
+   <section3 name="milestones">Milestones</section3>
 
    <news date="July 2014.">
       A new version of this site is online.
@@ -117,7 +117,7 @@
       is started with Coq 7.3.1.
    </news>
 
-   <section4 name="visibility">Visibility</section4>
+   <section3 name="visibility">Visibility</section3>
 
    <news date="June 2014.">
       The <link to="http://www.google.com/">Google</link>