refactoring of the butterflies :)

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index aa35f41392bdf66f27ada233b8a8f11c43dc39b5..7a90b1ba560d016c9fe5d019da1775d48d04e8d3 100644 (file)
--- 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 f03c51a06c15d5e073388d281ddae128626fed89..71b5724c5eccc331ff9369069e1e58b396c99f8d 100644 (file)
--- 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 dca01c171bd30c35e18ca918f2e0445c00fc40fa..289ed627e472f9fbe5198fbc64aeaeb18faf1b55 100644 (file)
--- 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 7d54817f3d2f299362409764c99026c3594a13ec..0f5011f0637ba5955ee5de6fac7fbad25e60135d 100644 (file)
--- 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 86d91160f854958661b7a188b4c452f4987dd0de..6dc865edc129e52f94910a27dc4287abb3df284a 100644 (file)
--- 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 1ae011367aa7c71bbad56ea2c11624b90953f30a..0613d899fb64e99f11c4950f1d2c5e052eb248e0 100644 (file)
--- 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 677e33bd9b833604b59a3cf38b1f8a795e821280..8517a56ef199e89d046a41eabbaa26d4c7429ae2 100644 (file)
--- 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 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>