From 325319a6c28fd8c3992cdb0be745b0c7ca8651c3 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 7 Jul 2014 21:17:55 +0000
Subject: [PATCH] red butterfly added for version 1 :)

---
 helm/www/lambdadelta/BTM.html                   |   2 +-
 helm/www/lambdadelta/apps_2.html                |   2 +-
 helm/www/lambdadelta/basic_2.html               |   2 +-
 helm/www/lambdadelta/ground_2.html              |   2 +-
 helm/www/lambdadelta/images/b6.png              | Bin 0 -> 830 bytes
 helm/www/lambdadelta/index.html                 |   2 +-
 helm/www/lambdadelta/version_1.html             |   4 ++--
 helm/www/lambdadelta/version_2.html             |   2 +-
 helm/www/lambdadelta/web/home/version_1.ldw.xml |   2 +-
 helm/www/lambdadelta/xslt/ld_web_root.xsl       |  10 ++++++++++
 10 files changed, 19 insertions(+), 9 deletions(-)
 create mode 100644 helm/www/lambdadelta/images/b6.png

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index b39df528d..ade75b80e 100644
--- 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 28bf7fe94..e966660a9 100644
--- 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 a9ec9e0d4..11960faa3 100644
--- 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 cf41c1752..512871de4 100644
--- 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
index 0000000000000000000000000000000000000000..39b8e2a0fef8074aa5f7279f9e81d22dbd039576
GIT binary patch
literal 830
zcmV-E1Ht@>P)<h;3K|Lk000e1NJLTq002q=002n@0{{R3XlkwO00001b5ch_0Itp)
z=>Px#7*I@9MgRZ*{{R30007L)%rgK0|IEy0W@a-pGZU&=3;+NC0b)x>L;#2d9Y_EG
z010qNS#tmY4#NNd4#NS*Z>VGd000McNliru-UkO22p}R&_zeI60-s4lK~zY`t(H%7
zn=lZ?)e$DwDz-jA70g*Sf6gf|oUO!6uGDsNZ>HaWy3z`PFc1#WB@X`iy~pk%M9A!t
zWX<|Uihd&%_8*gZDp;kOyHD2zM`shtHPn(6Dc4AmXB&M{idrgNl%g&EDHn?xphi9=
zMUx~MQdV)SAVhQ><oTHNx$T?g&0wji!lV=}6l09PcIBFu3Sy=gmpFsdQY6?jhk<fU
zR#0iXOl{47HCd)krc!d5;>-QB6jUOw$QKl3r$s#fP#^`_Zvv{?ocsKFRaJ=%LHC$F
zFGNcy<5B6FB4AaebQIUuB1txkog@46R6y%^Qy7lcMk<BLAmjj_3oCZ{g(U(GW}#M)
zUCYC_y79XhDKiDgRkge*D8mgRJQHfhBf>5ftY7B}C>eqj#_BDH6yxF#Gg1&MGgn?B
zLmioiHCuDjHWp)#c$X>j*XgLGT8sshFjU|}oP44o#sWt}h03FTJ_t0-EQRUmUyqU(
zO|@ODU03|yo*~tcs{<EZzu)h&Yr}(ux>?LU!%sBC!uOCD|MbusHg9%NFn({zr7?so
z2mTS&-sE2g#WHtjI$b=Cwtr{&YPy4lt_GcD=3<4S?_n`|Xs<3-I_Tjp@;87)b+NQz
z+;wLp7XGk?{?LrXXktqm47+nDhL&7EJH3>f8Yi~F-2n%lDmUMyZ>hRi{bb#XwIIe%
zfsrC=@UZy#;VT_W?+cs3wE6id*lZz|zBrulyEZ9^rLR$Mz>Cq#>L97vhcb_PiG6BA
zg3@UE4_+jvUewv>Ar_PGM>VG631~Bd#)Y-_a7T#=DpPAHLYp-d+^WYNqnS4i&3cX>
z<N32hrw5zM;(4MmEBsf_z1or_hf_rkC!AZEd~x7Q-1!66f05OkiQ4_PCjbBd07*qo
IM6N<$f_orsPyhe`

literal 0
HcmV?d00001

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index f6d02442e..20833265c 100644
--- 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 6038c0055..033307fc5 100644
--- 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 0fd6da6dc..75743548b 100644
--- 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 4c7542189..d6d7c93c7 100644
--- 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 a2bb7d14d..50fde7a78 100644
--- 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/>
-- 
2.39.2