From 6864d67d5a0e5950a4d5f744866e89215e08ace0 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 22 Jul 2016 17:12:51 +0000
Subject: [PATCH] site update

---
 helm/www/lambdadelta/BTM.html                 |   2 +-
 helm/www/lambdadelta/apps_2.html              |  10 +++----
 helm/www/lambdadelta/basic_1.html             |  10 +++----
 helm/www/lambdadelta/basic_2.html             |  24 +++++++--------
 helm/www/lambdadelta/documentation.html       |  10 +++----
 helm/www/lambdadelta/ground_1.html            |  10 +++----
 helm/www/lambdadelta/ground_2.html            |  28 +++++++++---------
 .../www/lambdadelta/{index.html => home.html} |  10 +++----
 helm/www/lambdadelta/images/b1.png            | Bin 0 -> 785 bytes
 helm/www/lambdadelta/implementation.html      |  16 +++++-----
 helm/www/lambdadelta/news.html                |  10 +++----
 helm/www/lambdadelta/osn.html                 |   4 +--
 helm/www/lambdadelta/specification.html       |  10 +++----
 .../web/home/{index.ldw.xml => home.ldw.xml}  |   0
 .../web/home/implementation.ldw.xml           |   4 +--
 helm/www/lambdadelta/web/home/sitemap.tbl     |  10 ++++---
 helm/www/lambdadelta/xslt/ld_web_library.xsl  |   2 +-
 17 files changed, 81 insertions(+), 79 deletions(-)
 rename helm/www/lambdadelta/{index.html => home.html} (97%)
 create mode 100644 helm/www/lambdadelta/images/b1.png
 rename helm/www/lambdadelta/web/home/{index.ldw.xml => home.ldw.xml} (100%)

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 32510e3c2..87ca3917c 100644
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -222,6 +222,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:42 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index ab26a1c37..e1a4e7961 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
@@ -76,12 +76,12 @@
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
@@ -258,6 +258,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:42 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 18634b2f7..ad01b3644 100644
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
@@ -76,12 +76,12 @@
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:42 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 0a049471c..287810b55 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
@@ -76,12 +76,12 @@
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
@@ -144,29 +144,29 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">154</td>
+            <td class="snnn right italic cyan">150</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">136477</td>
+            <td class="snnn right italic cyan">128505</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">748562</td>
+            <td class="ssnn right italic cyan">646562</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
             <td class="snnn right italic green">45</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">500</td>
+            <td class="snnn right italic green">476</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">545</td>
+            <td class="ssnn right italic green">521</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
             <td class="snsn right italic yellow">23</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">38</td>
+            <td class="snsn right italic yellow">37</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">61</td>
+            <td class="sssn right italic yellow">60</td>
           </tr>
         </tbody>
       </table>
@@ -811,6 +811,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:42 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 4de89dc53..fc3e24bc8 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
@@ -76,12 +76,12 @@
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
@@ -401,6 +401,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:48 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:42 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 6c56317af..e732b224b 100644
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
@@ -76,12 +76,12 @@
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
@@ -291,6 +291,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:42 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index dc3c8a194..e4ef243ae 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
@@ -76,12 +76,12 @@
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
@@ -132,29 +132,29 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">94</td>
+            <td class="snnn right italic cyan">92</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">129419</td>
+            <td class="snnn right italic cyan">125262</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">291484</td>
+            <td class="ssnn right italic cyan">265747</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">35</td>
+            <td class="snnn right italic green">33</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">610</td>
+            <td class="snnn right italic green">588</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">645</td>
+            <td class="ssnn right italic green">621</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
-            <td class="snsn right italic yellow">61</td>
+            <td class="snsn right italic yellow">60</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">64</td>
+            <td class="snsn right italic yellow">63</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">125</td>
+            <td class="sssn right italic yellow">123</td>
           </tr>
         </tbody>
       </table>
@@ -821,6 +821,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:42 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/home.html
similarity index 97%
rename from helm/www/lambdadelta/index.html
rename to helm/www/lambdadelta/home.html
index abab91aeb..30ed25317 100644
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/home.html
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
@@ -76,12 +76,12 @@
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
@@ -283,6 +283,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:48 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:41 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/images/b1.png b/helm/www/lambdadelta/images/b1.png
new file mode 100644
index 0000000000000000000000000000000000000000..21d362a10456fadfd427b29bc6c1159130c32780
GIT binary patch
literal 785
zcmV+s1Md8ZP)<h;3K|Lk000e1NJLTq002q=002n{0ssI26(%Q$00006VoOIv0RI60
z0RN!9r;`8x010qNS#tmY4#NNd4#NS*Z>VGd000McNliru;0G2EC<3y#35Ngx0-i}k
zK~!ko?VH__gD?n%1LOO@GJCPDttKW10!ei0?A2B~d_DZDBqC|mgNQoK<Mim`hd0kN
zf9f@kZDr$n^2)#X&s6W9O+@&4fw!|gP`z)qr{SI09)*{)EuA^>w7CarehDwDLqFT?
zowLq%Z@ebk>RpRAkqpJV3Zc49NZ^5Nfp~8#rSwVLxXPzETNK_k+vlG|DJ6xW2Da(3
zCq;{|tk<%I;)(6dqV-6UylY`Fv#o-Mm~9(vc|kTJI+X|W*v<>GIj$tO1!L@lWJs7x
zsP}DfwONsr#I~N`<=H-0<T1G@-p*FE_~@DCHb5PF$Yn0~TfW&$-2&maR$k{-yTs4Q
zs;;;AZB4do>CToQgd`#un+}zTDtHy$Fg%oS)3=EE`2_Y&erzu<9aHxt=QOa{N@e{A
z_062}{yRG`!lsc9^|+v}MQmFJ_hUre6KS*QrCS3pZrGWRXGkZ$F3iO`7BmOAN=Jyz
z9OoNI$XTU()%0m=T#!wlQFMEk?Re$TCzO<ImW9%`U*lDmyt@<XiPA0mE*X$cs?x>m
zTHXS75rUS~-O@4DvHSOSyQO96pepM$Q99ew0mbVS(66`jA!KA2kLWFt?9)%kE?rW@
zsOmz<;5KD=5%(eFsww0pUEeroC*%P$n8&DUBy7%m)G3|c7;Yit&>`A;)bhSND^go0
z)}=eKd8JjAfFa9>e9-hO89Enb%)tnkuC$P!Rty;qA+iNq%yttcWKEKwN()xpd_-<;
zy&t+dPW0smibk=)c_?m$8jsh$2gbK$gZz_k%Qmm>t#fQ~QDJMNZh*Ik`zg~tM!hkd
zz-D{!tHH-sLps@-#?!<%pR=w?RHC8JwJeh5E`+6?F_IR1Z{6!z)s)g7FhrcAeb$<*
P00000NkvXXu0mjf01JD=

literal 0
HcmV?d00001

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 3a681dbe5..dabbb6d2c 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
@@ -76,12 +76,12 @@
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
@@ -105,15 +105,15 @@
     <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="tools">Tools <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b5.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="osn">
-      <a href="http://lambdadelta.info/osn.html">
+      <a href="http://lambdadelta.info/osn/">
         <img class="w3c" alt="[Open Symbolic Notation logo]" title="OSN: Open Symbolic Notation" src="http://lambdadelta.info/images/osn_label.png" />
       </a> Open Symbolic Notation</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       Open Symbolic Notation, abbreviated OSN,
       is an easy and flexible data-interchange text format
       intended for the lightweight representation of
-      generic abstract syntax trees in the domain of formal systems.
-      Additional information will appear soon.
+      generic abstract syntax trees in the domain of formal languages.
+      Additional information is available at <a href="http://lambdadelta.info/osn/">OSN web site</a>.
    </div>
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="helena">
       <img class="icon32" alt="[Helena logo]" title="Helena" src="http://lambdadelta.info/images/helena_32.png" /> Helena</div>
@@ -302,6 +302,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:48 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:42 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 711995896..9a7841afe 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
@@ -76,12 +76,12 @@
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
@@ -380,6 +380,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:48 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:41 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index b67c477a3..e367a682d 100644
--- a/helm/www/lambdadelta/osn.html
+++ b/helm/www/lambdadelta/osn.html
@@ -15,7 +15,7 @@
   </head>
   <body lang="en-US">
     <div class="spacer">
-      <a href="http://lambdadelta.info/osn.html">
+      <a href="http://lambdadelta.info/osn/">
         <img class="w3c" alt="[Open Symbolic Notation logo]" title="OSN: Open Symbolic Notation" src="http://lambdadelta.info/images/osn_label.png" />
       </a>
     </div>
@@ -193,6 +193,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:41 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index dbf2c18af..f93c67c62 100644
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
@@ -76,12 +76,12 @@
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
@@ -378,6 +378,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:42 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml
similarity index 100%
rename from helm/www/lambdadelta/web/home/index.ldw.xml
rename to helm/www/lambdadelta/web/home/home.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml
index 32139b3a6..9ddcbf34e 100644
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -16,8 +16,8 @@
       Open Symbolic Notation, abbreviated OSN,
       is an easy and flexible data-interchange text format
       intended for the lightweight representation of
-      generic abstract syntax trees in the domain of formal systems.
-      Additional information will appear soon.
+      generic abstract syntax trees in the domain of formal languages.
+      Additional information is available at <rlink to="osn/">OSN web site</rlink>.
    </body>
 
 
diff --git a/helm/www/lambdadelta/web/home/sitemap.tbl b/helm/www/lambdadelta/web/home/sitemap.tbl
index 8862f01d4..dec0d13e6 100644
--- a/helm/www/lambdadelta/web/home/sitemap.tbl
+++ b/helm/www/lambdadelta/web/home/sitemap.tbl
@@ -2,9 +2,9 @@ name "sitemap"
 
 table [
    class "sky" {
-      [ @@("index" "home") * ]
-      [ @@("index#foreword" "foreword") * ]
-      [ @@("index#citations" "citations") * ]
+      [ @@"home" * ]
+      [ @@("home#foreword" "foreword") * ]
+      [ @@("home#citations" "citations") * ]
    }
    class "magenta" {
       [ @@"news" * ]
@@ -31,7 +31,9 @@ table [
    }
    class "green" {
       [ @@"implementation" * ] 
-      [ @@("implementation#helena" "helena") * ]
+      [ @@("implementation#helena" "helena")
+        @@("osn/" "Open Symbolic Notation (OSN)") 
+      * ]
       [ @@("implementation#lddl" "library")
         "(" ^ @@("static/lddl/" "static LDDL directory") ^ ")"
       * ]
diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index b72f25fd1..e6b8df546 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -115,7 +115,7 @@
 </xsl:template>
 
 <xsl:template name="osn-logo">
-   <a href="{$baseurl}osn.html"><img class="w3c"
+   <a href="{$baseurl}osn/"><img class="w3c"
       alt="[Open Symbolic Notation logo]"
       title="OSN: Open Symbolic Notation"
       src="{$baseurl}images/osn_label.png"
-- 
2.39.2