- initial page for osn ...

- some bug fixed

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 8f0cd608f1a4f9668417a24ae904b00056f11c6c..32510e3c2b9feea2e2120a5c013934130e080edc 100644 (file)
--- 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: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index e940d1f64595277c1e4d867046daadc9dfccc599..ab26a1c3796faa1cd77b659ccf6788abd8868164 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="contents">Contents of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="contents">Contents of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">This specification comprises a collection of checked
          applications of λδ version 2.
@@ -122,7 +122,7 @@
       <a href="http://lambdadelta.info/implementation.html#helena">Helena 0.8</a>.
    </li>
     </ul>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical account of the specification's contents
          and its timeline.
@@ -198,7 +198,7 @@
          The MLTT1 component is started.
    </li>
     </ul>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">This table reports the specification's components and their planes.
    </div>
@@ -258,6 +258,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 70bbe5da7e26564f1b92897bba88408ca12fff35..18634b2f797d0b530c10023565795923d9e9f935 100644 (file)
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="blocks">Abstract Syntax and Behavior <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="blocks">Abstract Syntax and Behavior <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">This is a summary of available syntactic items and reductions (block structure).
    </div>
@@ -164,7 +164,7 @@
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">* In terms only.
    </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical account of the specification's contents
          and its timeline.
@@ -251,7 +251,7 @@
       Specification starts.
    </li>
     </ul>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">This table reports the specification's components and their planes.
    </div>
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index d8c7887cd19631c8b0fcbdb49d686c3fd753a2f3..0a049471c408f28542a728705a9a8ee3aefb38e7 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -114,7 +114,7 @@
          **** Sort level k in terms only.
    </body>
 -->
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical account of the specification's contents
          and its timeline.
@@ -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">150</td>
+            <td class="snnn right italic cyan">154</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">128505</td>
+            <td class="snnn right italic cyan">136477</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">646562</td>
+            <td class="ssnn right italic cyan">748562</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">476</td>
+            <td class="snnn right italic green">500</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">521</td>
+            <td class="ssnn right italic green">545</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">37</td>
+            <td class="snsn right italic yellow">38</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">60</td>
+            <td class="sssn right italic yellow">61</td>
           </tr>
         </tbody>
       </table>
@@ -335,7 +335,7 @@
          λδ version 2 is started.
    </li>
     </ul>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">This table reports the specification's components and their planes.
    </div>
@@ -811,6 +811,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index accd82d1030afa0a23c2f57110f8b08cdee633a0..4de89dc53917ac5e6b2a4a43762355481859a374 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="bibtex">Documentation <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="bibtex">Documentation <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       BibTeX database of λδ documentation:
@@ -113,7 +113,7 @@
       (revised <span class="emph gamma">2015-09</span>).
    </div>
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v3">
-      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
+      <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The main source of information is <span class="emph alpha">J3a</span>.
    </div>
@@ -136,7 +136,7 @@
       </table>
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">
-      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
+      <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The main source of information is <span class="emph alpha">R2c</span>.
    </div>
@@ -243,7 +243,7 @@
       </table>
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v1">
-      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
+      <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The main source of information is <span class="emph alpha">J1a</span>.
       A summary is available in <span class="emph alpha">P1e</span>.
@@ -401,6 +401,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:48 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 370730fda2b318499248ab3b12df9a8f6ab5dc48..6c56317afbb42366ac67fc99e83d21f0e66d3cc7 100644 (file)
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical account of the specification's contents
          and its timeline.
@@ -177,7 +177,7 @@
       Specification starts.
    </li>
     </ul>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">This table reports the specification's components and their planes.
    </div>
@@ -291,6 +291,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 5ac333cb3d8a26b47d73684413548062d535669b..dc3c8a1948cef25ea6366117aa16a5449c970841 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical account of the specification's contents
          and its timeline.
@@ -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">92</td>
+            <td class="snnn right italic cyan">94</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">125262</td>
+            <td class="snnn right italic cyan">129419</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">265747</td>
+            <td class="ssnn right italic cyan">291484</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">33</td>
+            <td class="snnn right italic green">35</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">588</td>
+            <td class="snnn right italic green">610</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">621</td>
+            <td class="ssnn right italic green">645</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
-            <td class="snsn right italic yellow">60</td>
+            <td class="snsn right italic yellow">61</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">63</td>
+            <td class="snsn right italic yellow">64</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">123</td>
+            <td class="sssn right italic yellow">125</td>
           </tr>
         </tbody>
       </table>
@@ -195,7 +195,7 @@
          Specification starts.
    </li>
     </ul>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">This table reports the specification's components and their planes.
    </div>
@@ -262,6 +262,7 @@
             <td class="snns top capitalize italic water">generic rt-transition counter</td>
             <td class="snns top italic water" />
             <td class="snns top water">rtc ( 〈?,?,?,?〉 ) ( 𝟘𝟘 ) ( 𝟙𝟘 ) ( 𝟘𝟙 )</td>
+            <td class="snnn top water">rtc_isrc ( 𝐑𝐓⦃?, ?⦄ )</td>
             <td class="snnn top water">rtc_shift ( ↓? )</td>
             <td class="snnn top water">rtc_plus ( ? + ? )</td>
             <td class="snnn top water">
@@ -303,9 +304,6 @@
             <td class="snnn top water">
               <br />
             </td>
-            <td class="snnn top water">
-              <br />
-            </td>
             <td class="ssnn top water">
               <br />
             </td>
@@ -823,6 +821,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index e680bb04b66cb14820e179a30b4810f0ca5eaed3..3a681dbe5c10d9b4a32209c16c941ffe7be4765f 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="tools">Tools <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b5.png" />
+    <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">
@@ -302,6 +302,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:48 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index a8a7f5a5ccc8aef43afd06e48860f9bc9aa4b895..abab91aeb76af9ecce6ff6d6e47a7608434cdd85 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="foreword">Foreword <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b9.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="foreword">Foreword <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b9.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal systems of the λδ (\lambda\delta) family are typed λ-calculi aiming to support
@@ -128,7 +128,7 @@
       "Tools" menu → "Internet Options" entry → "General" tab → "Fonts" button.
    </div>
     <!-- ===================================================================== -->
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="citations">Citations <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b9.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="citations">Citations <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b9.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       This is a list of publications citing λδ documentation.
@@ -183,7 +183,7 @@
    </li>
     </ul>
     <!-- ===================================================================== -->
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="disclaimer">Disclaimer <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b9.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="disclaimer">Disclaimer <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b9.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The systems of the λδ family <span class="emph alpha">are not</span> related intentionally to
@@ -283,6 +283,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:48 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index a74a3a701e8fe4f38f8dc4ccab5007ab752e6651..7119958961ac81c9e41e300f8cc367e8f51a3be0 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -103,7 +103,7 @@
       </table>
     </div>
     <!-- ===================================================================== -->
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="milestones">Milestones <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b3.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="milestones">Milestones <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b3.png" />
     </div>
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
@@ -336,7 +336,7 @@
    </li>
     </ul>
     <!-- ===================================================================== -->
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="visibility">Visibility <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b3.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="visibility">Visibility <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b3.png" />
     </div>
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
@@ -380,6 +380,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:48 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
new file mode 100644 (file)
index 0000000..b67c477
--- /dev/null
+++ b/helm/www/lambdadelta/osn.html
@@ -0,0 +1,198 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" dir="ltr" lang="en-us">
+  <head>
+    <meta http-equiv="Content-Language" content="en-us" />
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+    <meta http-equiv="Content-Style-Type" content="text/css" />
+    <meta name="author" content="Ferruccio Guidi" />
+    <meta name="description" content="\lambda\delta home page: Open Symbolic Notation" />
+    <title>\lambda\delta home page: Open Symbolic Notation</title>
+    <link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/ld_web.css" />
+    <link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/lddl.css" />
+    <link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/xhtbl.css" />
+    <link rel="shortcut icon" href="http://lambdadelta.info/images/crux_16.ico" />
+  </head>
+  <body lang="en-US">
+    <div class="spacer">
+      <a href="http://lambdadelta.info/osn.html">
+        <img class="w3c" alt="[Open Symbolic Notation logo]" title="OSN: Open Symbolic Notation" src="http://lambdadelta.info/images/osn_label.png" />
+      </a>
+    </div>
+    <div class="head1">Open Symbolic Notation</div>
+    <div class="spacer">
+      <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+    </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 languages.
+      In order to meet these design goals, OSN pursues the following features.
+   </div>
+    <ul xmlns:ld="http://lambdadelta.info/">
+      <span class="red-mark">
+        <li>
+          <span class="alpha">
+            <a href="https://en.wikipedia.org/wiki/S-expression">Symbolic expressions</a>
+      based on widely accepted syntactical conventions
+      provide for a <span class="emph ">lightweight</span> and <span class="emph ">generic</span> grammar,
+      which is both <span class="emph ">easy for machines to process</span>,
+      and <span class="emph ">easy for humans to understand</span>.
+      As a mean to support <span class="emph ">efficient</span> information processing,
+      OSN aims at an economic representation of data
+      contrary to <a href="http://www.w3.org/TR/2008/REC-xml-20081126/#sec-origin-goals">XML design goal 10</a>.
+      Compared to other data-interchange formats based on symbolic expressions,
+      like <a href="http://people.csail.mit.edu/rivest/Sexp.txt">canonical symbolic expressions</a>,
+      representing arbitrary data in binary format is a secondary concern in the design of OSN,
+      as well as the support for canonicalization.
+      Apparently, these features fall outside the scope of OSN,
+      which targets the data structures of <span class="emph ">formal languages</span>. 
+   </span>
+        </li>
+      </span>
+      <br />
+      <span class="blue-mark">
+        <li>
+          <span class="alpha">
+      Optionally <a href="https://en.wikipedia.org/wiki/Namespace">qualified</a> symbolic expressions 
+      allow OSN texts to mix data from different domains preserving their own semantics
+      because name conflicts can be avoided.
+      As a consequence OSN documents are <span class="emph ">easy to extend</span> in that
+      domain-specific OSN applications can work as expected even if
+      data from different domains is added to the text they process.
+   </span>
+        </li>
+      </span>
+      <br />
+      <span class="green-mark">
+        <li>
+          <span class="alpha">
+      The <a href="https://en.wikipedia.org/wiki/ASCII">US-ASCII</a> character set,
+      extended to <a href="http://www.utf-8.com/">UTF-8</a> in
+      free-form text strings for the convenience of human readers,
+      makes OSN documents <span class="emph ">easy to visualize and transport</span> over communication media.
+      OSN design aims at supporting <span class="emph ">application-independent</span> standard encodings.
+   </span>
+        </li>
+      </span>
+    </ul>
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="grammar">Grammar <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
+      An OSN text uses the <a href="http://www.utf-8.com/">UTF-8</a> character set
+      and contains the next seven tokens that we define in a very common EBNF variant.
+      Characters not starting a token are not allowed.
+      The ones in the range U+0021 ... U+007E are ! # $ % &amp; * / ? @ \ ^ | ~
+      and are available for extensions of OSN.
+   </div>
+    <ul xmlns:ld="http://lambdadelta.info/">
+      <li>
+      This token can represent the identifiers and the numerical constants of most programming languages:
+      <br />
+        <span class="emph ebnf">symbol = 1 * symbol-char ; <br />symbol-char = '+' | '-' | '.' | '0' | ... | '9' | 'A' | ... | 'Z' | '_' | '`' | 'a' | ... | 'z' ; </span>
+      </li>
+      <br />
+      <li>
+      This token contains free-form text with commonly accepted escape sequences:
+      <br />
+        <span class="emph ebnf">string = '"' , * ( string-char | "'" | '\' escape ) , '"' ; <br />string-char = ( #0 | ... | #10FFFF ) - ( #0 | ... | #1F | "'" | '\' | '"' | #7F ) ; <br />escape = 1 * space | '"' | "'" | '(' | ')' | '0' | '\' | 'a' | 'b' | 'e' | 'f' | 'n' | 'r' | 't' | ( 'u' , 4 * 4 hex ) | 'v' | ( 'x' , 2 * 2 hex ) ; <br />space = #9 | ... | #D | #20 ; <br />hex = '0' | ... | '9' | 'A' | ... | 'F' | 'a' | ... | 'f' ; </span>
+      </li>
+      <br />
+      <li>
+      This token is a widely used alternative of the former token:
+      <br />
+        <span class="emph ebnf">string-alt = "'" , * ( string-char | '"' | '\' escape ) , "'" ; </span>
+      </li>
+      <br />
+      <li>
+      This token separates the qualifiers of a symbolic expression:
+      <br />
+        <span class="emph ebnf">sep = ':' ; </span>
+      </li>
+      <br />
+      <li>
+      This token starts a compound symbolic expression:
+      <br />
+        <span class="emph ebnf">open = '(' | '&lt;' | '[' | '{' ; </span>
+      </li>
+      <br />
+      <li>
+      This token ends a compound symbolic expression:
+      <br />
+        <span class="emph ebnf">close = ')' | '&gt;' | ']' | '}' ; </span>
+      </li>
+      <br />
+      <li>
+      This token is ignored and separates the other tokens:
+      <br />
+        <span class="emph ebnf">gap = space | ',' | ';' | '=' ; </span>
+      </li>
+    </ul>
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
+      The grammar of OSN is very liberal by design.
+      Spaces of the form <span class="emph ebnf">1 * gap </span> can appear between any pair of tokens.
+   </div>
+    <ul xmlns:ld="http://lambdadelta.info/">
+      <li>
+      An OSN text:
+      <br />
+        <span class="emph ebnf">text = * q-expr ; </span>
+      </li>
+      <br />
+      <li>
+      A qualified symbolic expression:
+      <br />
+        <span class="emph ebnf">q-expr = * ( symbol , 1 * sep ) , expr ; </span>
+      </li>
+      <br />
+      <li>
+      An unqualified symbolic expression:
+      <br />
+        <span class="emph ebnf">expr = symbol | string | string-alt | ( open , text , close ) ; </span>
+      </li>
+    </ul>
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="semantics">Semantics <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b1.png" />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
+      Forthcoming ...
+   </div>
+    <!--
+      morover, the escape sequences \x &lt;two hexadecimal digits&gt; and \u &lt;four hexadecimal digits&gt;
+      allow to specify a character by its code point <newline/>
+      finally the escape sequences \( for U+0002 and \) for U+0003 are available
+-->
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="implementation">Implementation <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b5.png" />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
+      Forthcoming ...
+   </div>
+    <div class="spacer">
+      <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">
+      <br />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">
+      <a href="http://validator.w3.org/check?uri=referer">
+        <img class="w3c" alt="[Valid XHTML 1.1]" title="Valid XHTML 1.1" src="http://www.w3.org/Icons/valid-xhtml11-blue" />
+      </a>
+      <a href="http://jigsaw.w3.org/css-validator/check/referer">
+        <img class="w3c" alt="[Valid CSS level 2]" title="Valid CSS level 2" src="http://www.w3.org/Icons/valid-css2-blue" />
+      </a>
+      <a href="http://www.w3.org/XML/">
+        <img class="w3c" alt="[Generated from XML via XSL]" title="Generated from XML via XSL" src="http://lambdadelta.info/images/xml_xsl2.png" />
+      </a>
+      <a href="http://www.w3.org/Graphics/PNG/">
+        <img class="w3c" alt="[PNG used here]" title="PNG used here" src="http://lambdadelta.info/images/PNGnow2.png" />
+      </a>
+      <a href="http://www.anybrowser.org/campaign/">
+        <img class="w3c" alt="[Viewable with any browser]" title="Viewable with any browser" src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png" />
+      </a>
+    </div>
+    <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>
+  </body>
+</html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 6112c2e5ffc334682ad0a88e1d5820207755f7fe..dbf2c18af87c1b1bf278c3962d5b9a3f254667b7 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b15.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b15.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The systems of the λδ family are developed as machine-checked digital specifications,
@@ -241,14 +241,14 @@
     </ul>
     <!-- VERSION 3 =========================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v3">
-      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
+      <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal specification of λδ version 3
       is forthcoming.
    </div>
     <!-- VERSION 2 =========================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">
-      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
+      <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal specification of λδ version 2
       is available in the following formats:
@@ -280,7 +280,7 @@
    </div>
     <!-- VERSION 1 =========================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v1">
-      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
+      <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal specification of λδ version 1
       is available in the following formats:
@@ -378,6 +378,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/web/home/osn.ldw.xml b/helm/www/lambdadelta/web/home/osn.ldw.xml
index d83efaaafb2949fdc03c5527266ad078b754ecb7..1f56010588f35eb77b065d0dcf5d5359a2e667d7 100644 (file)
--- a/helm/www/lambdadelta/web/home/osn.ldw.xml
+++ b/helm/www/lambdadelta/web/home/osn.ldw.xml
@@ -10,7 +10,7 @@
       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.
+      generic abstract syntax trees in the domain of formal languages.
       In order to meet these design goals, OSN pursues the following features.
    </body>
    <list><style class="red-mark"><item><style class="alpha">
@@ -27,12 +27,16 @@
       representing arbitrary data in binary format is a secondary concern in the design of OSN,
       as well as the support for canonicalization.
       Apparently, these features fall outside the scope of OSN,
-      which targets the data structures of <notice text="formal systems"/>. 
+      which targets the data structures of <notice text="formal languages"/>. 
    </style></item></style>
    <newline/>
    <style class="blue-mark"><item><style class="alpha">
       Optionally <link to="https://en.wikipedia.org/wiki/Namespace">qualified</link> symbolic expressions 
-
+      allow OSN texts to mix data from different domains preserving their own semantics
+      because name conflicts can be avoided.
+      As a consequence OSN documents are <notice text="easy to extend"/> in that
+      domain-specific OSN applications can work as expected even if
+      data from different domains is added to the text they process.
    </style></item></style>
    <newline/>
    <style class="green-mark"><item><style class="alpha">
@@ -42,17 +46,8 @@
       makes OSN documents <notice text="easy to visualize and transport"/> over communication media.
       OSN design aims at supporting <notice text="application-independent"/> standard encodings.
    </style></item></style></list>
-   <body>
-      
-   </body>
-<!--
-   flexibility: S-expressions should make it relatively simple to
-     modify and extend data structures.
-      OSN is completely language independent but uses .
--->
-
 
-   <section6 name="syntax">Syntax</section6>
+   <section6 name="grammar">Grammar</section6>
 
    <body>
       An OSN text uses the <link to="http://www.utf-8.com/">UTF-8</link> character set
@@ -62,7 +57,8 @@
       and are available for extensions of OSN.
    </body>
    <list><item>
-      <ebnf>
+      This token can represent the identifiers and the numerical constants of most programming languages:
+      <newline/><ebnf>
          <prod of="symbol"/> <def/> 
             <plus/> <prod of="symbol-char"/>
          <stop/> <newline/>
@@ -73,10 +69,10 @@
             <str2 of="_"/> <or/> <str2 of="`"/> <or/>
             <str2 of="a"/> <etc/> <str2 of="z"/>
          <stop/>
-      </ebnf><newline/>
-      this token can represent the identifiers and the numerical constants of most programming languages;
+      </ebnf>
    </item><newline/><item>
-      <ebnf>
+      This token contains free-form text with commonly accepted escape sequences:
+      <newline/><ebnf>
          <prod of="string"/> <def/>
             <str2 of="&quot;"/> <and/>
             <star/> <open/>
@@ -121,10 +117,10 @@
             <str2 of="A"/> <etc/> <str2 of="F"/> <or/>
             <str2 of="a"/> <etc/> <str2 of="f"/>
          <stop/>
-      </ebnf><newline/>
-      this token contains free-form text with commonly accepted escape sequences;
+      </ebnf>
    </item><newline/><item>
-      <ebnf>
+      This token is a widely used alternative of the former token:
+      <newline/><ebnf>
          <prod of="string-alt"/> <def/>
             <str1 of="'"/> <and/>
             <star/> <open/>
@@ -134,45 +130,89 @@
             <close/> <and/>
             <str1 of="'"/>
          <stop/>
-      </ebnf><newline/>
-      this token is a widely used alternative of the former;
+      </ebnf>
    </item><newline/><item>
-      <ebnf>
+      This token separates the qualifiers of a symbolic expression:
+      <newline/><ebnf>
          <prod of="sep"/> <def/> <str2 of=":"/> <stop/>
-      </ebnf><newline/>
-      this token separates the qualifiers of a symbolic expression;
+      </ebnf>
    </item><newline/><item>
-      <ebnf>
+      This token starts a compound symbolic expression:
+      <newline/><ebnf>
          <prod of="open"/> <def/>
             <str2 of="("/> <or/> <str2 of="&lt;"/> <or/> <str2 of="["/> <or/> <str2 of="{"/>
          <stop/>
-      </ebnf><newline/>
-      this token starts a compound symbolic expression;
+      </ebnf>
    </item><newline/><item>
-      <ebnf>
+      This token ends a compound symbolic expression:
+      <newline/><ebnf>
          <prod of="close"/> <def/>
             <str2 of=")"/> <or/> <str2 of="&gt;"/> <or/> <str2 of="]"/> <or/> <str2 of="}"/>
          <stop/>
-      </ebnf><newline/>
-      this token ends a compound symbolic expression;
+      </ebnf>
    </item><newline/><item>
-      <ebnf>
+      This token is ignored and separates the other tokens:
+      <newline/><ebnf>
          <prod of="gap"/> <def/>
             <prod of="space"/> <or/>
             <str2 of=","/> <or/> <str2 of=";"/> <or/> <str2 of="="/>
          <stop/>
-      </ebnf><newline/>
-      this token is ignored and separates the other tokens.
+      </ebnf>
    </item></list>
 
    <body>
+      The grammar of OSN is very liberal by design.
+      Spaces of the form <ebnf><plus/> <prod of="gap"/></ebnf> can appear between any pair of tokens.
    </body>
+   <list><item>
+      An OSN text:
+      <newline/><ebnf>
+         <prod of="text"/> <def/>
+            <star/> <prod of="q-expr"/>
+         <stop/>
+      </ebnf>
+   </item><newline/><item>
+      A qualified symbolic expression:
+      <newline/><ebnf>
+         <prod of="q-expr"/> <def/>
+            <star/> <open/>
+               <prod of="symbol"/> <and/> <plus/> <prod of="sep"/>
+            <close/> <and/>
+            <prod of="expr"/>
+         <stop/>
+      </ebnf>
+   </item><newline/><item>
+      An unqualified symbolic expression:
+      <newline/><ebnf>
+         <prod of="expr"/> <def/>
+            <prod of="symbol"/> <or/>
+            <prod of="string"/> <or/>
+            <prod of="string-alt"/> <or/>
+            <open/>
+               <prod of="open"/> <and/>
+               <prod of="text"/> <and/>
+               <prod of="close"/> 
+            <close/>
+         <stop/>
+      </ebnf>
+   </item></list>
+
+   <section1 name="semantics">Semantics</section1>
 
+   <body>
+      Forthcoming ...
+   </body>
 <!--
       morover, the escape sequences \x &lt;two hexadecimal digits&gt; and \u &lt;four hexadecimal digits&gt;
       allow to specify a character by its code point <newline/>
       finally the escape sequences \( for U+0002 and \) for U+0003 are available
 -->
 
+   <section5 name="implementation">Implementation</section5>
+
+   <body>
+      Forthcoming ...
+   </body>
+
    <footer/>
 </page>

diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index f7fcb332eb29aa43278dc60a84a8f5f9d426223f..b72f25fd1b27d5236e62cced9db533c25a43dc16 100644 (file)
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -18,7 +18,7 @@
 <xsl:template name="butterfly">
    <xsl:param name="name"/>
    <img class="icon37"
-      alt="[spacer]"
+      alt="[butterfly]"
       title="\lambda\delta butterfly"
       src="{$baseurl}images/b{$name}.png"
    />

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 4be8878ff51738a7ea57b3a32d86f9e2e7bda4cd..56ab24894de4176c27e8a18ea6e3046efd8f7974 100644 (file)
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -12,6 +12,16 @@
    </div>
 </xsl:template>
 
+<xsl:template match="ld:section1">
+   <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="1"/>
+      </xsl:call-template>
+   </div>
+</xsl:template>
+
 <xsl:template match="ld:section3">
    <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>