]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f39d53e)
the newly generated web pages ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 7 Apr 2016 13:50:13 +0000 (13:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 7 Apr 2016 13:50:13 +0000 (13:50 +0000)
helm/www/lambdadelta/BTM.html patch | blob | history
helm/www/lambdadelta/apps_2.html patch | blob | history
helm/www/lambdadelta/basic_1.html patch | blob | history
helm/www/lambdadelta/basic_2.html patch | blob | history
helm/www/lambdadelta/documentation.html patch | blob | history
helm/www/lambdadelta/ground_1.html patch | blob | history
helm/www/lambdadelta/ground_2.html patch | blob | history
helm/www/lambdadelta/implementation.html patch | blob | history
helm/www/lambdadelta/index.html patch | blob | history
helm/www/lambdadelta/news.html patch | blob | history
helm/www/lambdadelta/specification.html patch | blob | history

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 7f46bd1ef5c5131e78f474ab94b943fc53986aea..ab086fb0740cca03a40ec90c8d9ffe21228e685e 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">cic:/matita/BTM/</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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="head2sn" id="">Character classes</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">This table shows how the first 45 positive integers
@@ -197,7 +197,7 @@
       </table>
     </div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -222,6 +222,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:51 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index a0d1206ed676dae1b6c0411b90e99c22ed721419..3ff26013d03e4ec151c3e1761107b5e0f5e4fc49 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">cic:/matita/lambdadelta/apps_2/ (applications of λδ version 2)</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,16 +95,14 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="contents">Contents of the Specification <img class="icon37" alt="[spacer]" title="lambdadelta 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="[spacer]" 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="lambdadelta 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="[spacer]" 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="lambdadelta 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="[spacer]" 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>
@@ -233,7 +233,7 @@
       </table>
     </div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -258,6 +258,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:52 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index f4d0231452917f23da8d4343913fb3ae032d260a..ba5a602e966f580aa30b6e68930ca9d8479a7e4d 100644 (file)
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">cic:/BOLOGNA/lambdadelta/basic_1/ (core λδ version 1)</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,16 +95,14 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="blocks">Abstract Syntax and Behavior <img class="icon37" alt="[spacer]" title="lambdadelta 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="[spacer]" 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="lambdadelta 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="[spacer]" 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="lambdadelta 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="[spacer]" 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>
@@ -798,7 +798,7 @@
       </table>
     </div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:53 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:52 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 5ae7da3063e1448a8bed8e391e332259463afc03..12764cede0458a9d7dffbfc96af921a00c923e46 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">cic:/matita/lambdadelta/basic_2/ (core λδ version 2)</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,11 +95,9 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
@@ -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="lambdadelta 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="[spacer]" 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.
@@ -321,7 +321,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="lambdadelta 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="[spacer]" 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>
@@ -662,7 +662,7 @@
       </table>
     </div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -687,6 +687,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:53 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:52 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 29a1e83cb0e25db23e88eff0f93b2913fabc0a66..183e662d6416e4f383ecfb5b513e676c5c1e3407 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">The Formal Systems of the λδ (\lambda\delta) Family</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,16 +95,14 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="bibtex">Documentation <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" />
+    <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>
     <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="lambdadelta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
+      <img class="icon37" alt="[spacer]" 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="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
+      <img class="icon37" alt="[spacer]" 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>
@@ -231,7 +231,7 @@
       </table>
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v1">
-      <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
+      <img class="icon37" alt="[spacer]" 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>.
@@ -364,7 +364,7 @@
       </table>
     </div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -389,6 +389,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:51 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index a29a85f850f3ee9881e930fb59bd16fe8e845861..a9ecbb29a8563d4f9c2e781ea3db4001026feb88 100644 (file)
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">cic:/BOLOGNA/lambdadelta/ground_1/ (background for λδ version 1)</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,16 +95,14 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[spacer]" title="lambdadelta 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="[spacer]" 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="lambdadelta 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="[spacer]" 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>
@@ -266,7 +266,7 @@
       </table>
     </div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -291,6 +291,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:53 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:52 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index e66ca0d4bfa6f3d328e47411770ce5a5512bb167..ee6a2cfda5e475d6124be794f31a878021172f6c 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">cic:/matita/lambdadelta/ground_2/ (background for λδ version 2)</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,16 +95,14 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[spacer]" title="lambdadelta 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="[spacer]" 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.
@@ -189,7 +189,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="lambdadelta 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="[spacer]" 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>
@@ -682,7 +682,7 @@
       </table>
     </div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -707,6 +707,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:52 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index eda6bd9352ce0bdecbe4595961641d36a877a73d..431b196180e529f7ce31102df100e04c3596f42c 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">The Formal Systems of the λδ (\lambda\delta) Family</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,46 +95,26 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="tools">Tools <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b5.png" />
+    <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>
-    <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="lddl">
-      <img class="icon32" alt="[Crux logo]" title="the Crux" src="http://lambdadelta.info/images/crux_32.png" /> λδ Digital Library (LDDL)</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="osn">
+      <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> Open Symbolic Notation</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
-      The λδ Digital Library is part of <a href="http://helm.cs.unibo.it/">HELM</a>
-      and contains resources expressed in the systems of the λδ family.      
+      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.
    </div>
-    <ul xmlns:ld="http://lambdadelta.info/" id="contents">
-      <li>
-        <span class="emph alpha">Contents:</span>
-      Landau's "Grundlagen der Analysis"
-      (from Jutting's specification in  <a href="http://www.win.tue.nl/automath/">Automath</a>).
-   </li>
-    </ul>
-    <ul xmlns:ld="http://lambdadelta.info/" id="access">
-      <li>
-        <span class="emph alpha">Access:</span>
-        <a href="http://lambdadelta.info/static/lddl/">static pages</a> (updated <span class="emph gamma">2015-01</span>),
-      <a href="http://lambdadelta.info/download/lddl.tar.bz2">data set</a> (updated <span class="emph gamma">2014-12</span>),
-      <a href="http://lambdadelta.info/xml/">HELM server URL</a> (updated <span class="emph gamma">2014-12</span>).
-   </li>
-    </ul>
-    <ul xmlns:ld="http://lambdadelta.info/" id="examples">
-      <li>
-        <span class="emph alpha">Examples:</span>
-        <a href="http://lambdadelta.info/static/lddl/Environment/grundlagen_2/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">
-         Grundlagen's definition "t234"</a>
-      in λδ version 4.
-   </li>
-    </ul>
     <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>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
@@ -265,8 +247,37 @@
         </ul>
       </li>
     </ul>
+    <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="lddl">
+      <img class="icon32" alt="[\lambda\delta digital library logo]" title="LDDL: \lambda\delta digital library" src="http://lambdadelta.info/images/crux_32.png" /> λδ Digital Library (LDDL)</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
+      The λδ Digital Library is part of <a href="http://helm.cs.unibo.it/">HELM</a>
+      and contains resources expressed in the systems of the λδ family.      
+   </div>
+    <ul xmlns:ld="http://lambdadelta.info/" id="contents">
+      <li>
+        <span class="emph alpha">Contents:</span>
+      Landau's "Grundlagen der Analysis"
+      (from Jutting's specification in  <a href="http://www.win.tue.nl/automath/">Automath</a>).
+   </li>
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/" id="access">
+      <li>
+        <span class="emph alpha">Access:</span>
+        <a href="http://lambdadelta.info/static/lddl/">static pages</a> (updated <span class="emph gamma">2015-01</span>),
+      <a href="http://lambdadelta.info/download/lddl.tar.bz2">data set</a> (updated <span class="emph gamma">2014-12</span>),
+      <a href="http://lambdadelta.info/xml/">HELM server URL</a> (updated <span class="emph gamma">2014-12</span>).
+   </li>
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/" id="examples">
+      <li>
+        <span class="emph alpha">Examples:</span>
+        <a href="http://lambdadelta.info/static/lddl/Environment/grundlagen_2/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">
+         Grundlagen's definition "t234"</a>
+      in λδ version 4.
+   </li>
+    </ul>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -291,6 +302,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:51 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index d14a8519b6aa71b2e20c14840f394d5caa195ec8..aa7ddd794374a2ade41ab00e51916c174efc79b9 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">The Formal Systems of the λδ (\lambda\delta) Family</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,16 +95,14 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="foreword">Foreword <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">Foreword <img class="icon37" alt="[spacer]" 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="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
+    <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>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       This is a list of publications citing λδ documentation.
@@ -183,11 +183,11 @@
    </li>
     </ul>
     <!-- ===================================================================== -->
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="disclaimer">Disclaimer <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
+    <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>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
-      The systens of the λδ family <span class="emph alpha">are not</span> related intentionally to any other system
-      having (variations of) the symbols λ and δ in its name or syntax.
+      The systens of the λδ family <span class="emph alpha">are not</span> related intentionally to
+      any other system having (variations of) the symbols λ and δ in its name or syntax.
       Examples include (but are not limited to):
    </div>
     <ul xmlns:ld="http://lambdadelta.info/" id="D1">
@@ -250,8 +250,14 @@
       Eindhoven University of Technology, Eindhoven.
    </li>
     </ul>
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
+      Moreover, the systens of the λδ family <span class="emph alpha">are not</span> related intentionally to
+      the character <a href="http://umineko.wikia.com/wiki/Lambdadelta">Lady Lambdadelta</a>,
+      the Witch of Certainty of the sound novel
+      <a href="https://it.wikipedia.org/wiki/Umineko_no_naku_koro_ni">Umineko no Naku Koro ni</a>.
+   </div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -276,6 +282,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:51 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 3971c904e9908f617455ca7b5effcbc00c5c0099..5ef5c3afcd801daa49c092eb0d61c8cab84e713b 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">The Formal Systems of the λδ (\lambda\delta) Family</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,17 +95,15 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
     </div>
     <!-- ===================================================================== -->
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="milestones">Milestones <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
+    <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>
     <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="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
+    <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>
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
@@ -355,7 +355,7 @@
    </li>
     </ul>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -380,6 +380,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:51 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 41de394776bcc844420082b9933e428e56a0f042..b89a7b0f0ff23809fc91a26ea5ce6ac55daa7741 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">The Formal Systems of the λδ (\lambda\delta) Family</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,16 +95,14 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b15.png" />
+    <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>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The systems of the λδ family are developed as machine-checked digital specifications,
@@ -245,14 +245,14 @@
     </ul>
     <!-- VERSION 3 =========================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v3">
-      <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
+      <img class="icon37" alt="[spacer]" 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="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
+      <img class="icon37" alt="[spacer]" 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:
@@ -284,7 +284,7 @@
    </div>
     <!-- VERSION 1 =========================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v1">
-      <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
+      <img class="icon37" alt="[spacer]" 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:
@@ -357,7 +357,7 @@
       <a href="http://lambdadelta.info/basic_1.html">Core</a>.
    </div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <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 />
@@ -382,6 +382,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:51 +0200</div>
   </body>
 </html>
Unnamed repository; edit this file 'description' to name the repository.