red butterfly added for version 1 :)

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index b39df528dd5d3974e7f07aa2097422b8a4993690..ade75b80e5ce9e5fb6cae305ff2ee0615995e9b2 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -223,6 +223,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 07 Jul 2014 23:14:52 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 28bf7fe943d6fb5163a1a640eaacafe25e6206af..e966660a938f50bd8588cf9117b1ea73262fdfb8 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -191,6 +191,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 07 Jul 2014 23:14:52 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index a9ec9e0d43a94307d0ee397ba0488f4551d4c293..11960faa39d3b015dd47669f41b060450112bcc8 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -1300,6 +1300,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 07 Jul 2014 23:14:52 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index cf41c1752780779cd50072c05034a7afe074a7d5..512871de48dac6d2b32216d4609ad04444e41ef1 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -234,6 +234,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 07 Jul 2014 23:14:52 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/images/b6.png b/helm/www/lambdadelta/images/b6.png
new file mode 100644 (file)
index 0000000..39b8e2a
Binary files /dev/null and b/helm/www/lambdadelta/images/b6.png differ

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index f6d02442e85f0305e74634a95e25da6d73f60c1a..20833265c179d4cbf59bacb04b904edf263036db 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -198,6 +198,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 07 Jul 2014 23:14:51 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html
index 6038c0055265b5d12992fb04012ba02a5928abbb..033307fc5a721a0f0e916fe67a7cbfc7674ce642 100644 (file)
--- a/helm/www/lambdadelta/version_1.html
+++ b/helm/www/lambdadelta/version_1.html
@@ -102,7 +102,7 @@
       </table>
     </div>
 
-   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="foreword">Formats <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
+   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="foreword">Formats <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b6.png" />
     </div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal specification of λδ version 1
@@ -186,6 +186,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 07 Jul 2014 23:14:52 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html
index 0fd6da6dc6c9b5500a16a228c7844a6afdd2a523..75743548b28a33b3d050b66501c1eef937fc84cc 100644 (file)
--- a/helm/www/lambdadelta/version_2.html
+++ b/helm/www/lambdadelta/version_2.html
@@ -151,6 +151,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 07 Jul 2014 23:14:52 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/web/home/version_1.ldw.xml b/helm/www/lambdadelta/web/home/version_1.ldw.xml
index 4c7542189a526062471de7f6f070f2d6f330ebd5..d6d7c93c7b3b179133afa0d6f18842d9873f4691 100644 (file)
--- a/helm/www/lambdadelta/web/home/version_1.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_1.ldw.xml
@@ -7,7 +7,7 @@
 >
    <sitemap name="sitemap"/>
 
-   <section9 name="foreword">Formats</section9>
+   <section6 name="foreword">Formats</section6>
    <body>
       The formal specification of λδ version 1
       is available in the following formats:

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index a2bb7d14dd01e409496243987a1905cbaab08753..50fde7a78d49e5ca6a9d6582a34197e83cbf6e49 100644 (file)
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -42,6 +42,16 @@
    </div>
 </xsl:template>
 
+<xsl:template match="ld:section6">
+   <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="6"/>
+      </xsl:call-template>
+   </div>
+</xsl:template>
+
 <xsl:template match="ld:section9">
    <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>