From 8ece314152135bef6cfc427482ee619a3c4fd0b8 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 20 Jul 2014 14:57:32 +0000
Subject: [PATCH] refactoring of the butterflies :)

---
 helm/www/lambdadelta/documentation.html              | 4 ++--
 helm/www/lambdadelta/implementation.html             | 4 ++--
 helm/www/lambdadelta/index.html                      | 4 ++--
 helm/www/lambdadelta/news.html                       | 6 +++---
 helm/www/lambdadelta/web/home/documentation.ldw.xml  | 2 +-
 helm/www/lambdadelta/web/home/implementation.ldw.xml | 2 +-
 helm/www/lambdadelta/web/home/index.ldw.xml          | 2 +-
 helm/www/lambdadelta/web/home/news.ldw.xml           | 4 ++--
 8 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index aa35f4139..7a90b1ba5 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -80,7 +80,7 @@
       </table>
     </div>
 
-   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="bibtex">Documentation <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b5.png" />
+   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="bibtex">Documentation <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       BibTeX database of λδ documentation:
@@ -321,6 +321,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:15:22 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:55:23 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index f03c51a06..71b5724c5 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -80,7 +80,7 @@
       </table>
     </div>
 
-   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
+   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b5.png" />
     </div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       λδ comes in several versions listed in the following table,
@@ -263,6 +263,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:13:31 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:55:23 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index dca01c171..289ed627e 100644
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -99,7 +99,7 @@
       (revised <span class="date">2012-09</span>).
    </div>
 
-   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="notice">Notice for the Internet Explorer user <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
+   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="notice">Notice for the Internet Explorer user <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
     </div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       To view this site correctly, please select a font
@@ -135,6 +135,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:13:31 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:55:23 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 7d54817f3..0f5011f06 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -80,7 +80,7 @@
       </table>
     </div>
 
-   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="milestones">Milestones <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b5.png" />
+   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="milestones">Milestones <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
     </div>
 
    <ul xmlns:ld="http://lambdadelta.info/">
@@ -256,7 +256,7 @@
    </li>
     </ul>
 
-   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="visibility">Visibility <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" />
+   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="visibility">Visibility <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
     </div>
 
    <ul xmlns:ld="http://lambdadelta.info/">
@@ -303,6 +303,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:13:31 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:55:23 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/web/home/documentation.ldw.xml b/helm/www/lambdadelta/web/home/documentation.ldw.xml
index 86d91160f..6dc865edc 100644
--- a/helm/www/lambdadelta/web/home/documentation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/documentation.ldw.xml
@@ -7,7 +7,7 @@
 >
    <sitemap name="sitemap"/>
 
-   <section5 name="bibtex">Documentation</section5>
+   <section4 name="bibtex">Documentation</section4>
    <body>
       BibTeX database of λδ documentation:
       <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml
index 1ae011367..0613d899f 100644
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -7,7 +7,7 @@
 >
    <sitemap name="sitemap"/>
 
-   <section9 name="specifications">Computer-checked formal specifications</section9>
+   <section5 name="specifications">Computer-checked formal specifications</section5>
    <body>
       λδ comes in several versions listed in the following table,
       which includes the major milestones:
diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml
index 677e33bd9..8517a56ef 100644
--- a/helm/www/lambdadelta/web/home/index.ldw.xml
+++ b/helm/www/lambdadelta/web/home/index.ldw.xml
@@ -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.
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>
-- 
2.39.2