refactoring of the butterflies :)

[helm.git] / helm / www / lambdadelta / web / home / news.ldw.xml

diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index 92dda54917a39bee3188888dec8f5bf905525666..2a0072be0f25669772e0f8b88bef82f53fd0d917 100644 (file)
--- 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>