]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/index.ldw.xml
refactoring of the butterflies :)
[helm.git] / helm / www / lambdadelta / web / home / index.ldw.xml
index 677e33bd9b833604b59a3cf38b1f8a795e821280..8517a56ef199e89d046a41eabbaa26d4c7429ae2 100644 (file)
@@ -25,7 +25,7 @@
       (revised <date date="2012-09"/>).
    </body>
 
-   <section3 name="notice">Notice for the Internet Explorer user</section3>
+   <section9 name="notice">Notice for the Internet Explorer user</section9>
    <body>
       To view this site correctly, please select a font
       with <link to="http://www.unicode.org/">Unicode</link> support.