web site updated with document J2

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 9f11f7838d2400be1e220d133d7547b26608738b..aca5386978656d8f9eb272a1e96e01969840a9c7 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -223,6 +223,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 28 Oct 2014 17:45:56 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Nov 2014 17:50:22 +0100</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 03b91ddfe5e26b1d0519ed8d74db407d56381029..87d355147f0c4d6b556ade17311d475529c24cf5 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -142,29 +142,29 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">4</td>
+            <td class="snnn right italic cyan">14</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">68581</td>
+            <td class="snnn right italic cyan">6787</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">3637</td>
+            <td class="ssnn right italic cyan">10070</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
             <td class="snnn right italic green">2</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">1</td>
+            <td class="snnn right italic green">4</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">3</td>
+            <td class="ssnn right italic green">6</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
-            <td class="snsn right italic yellow">3</td>
+            <td class="snsn right italic yellow">6</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">9</td>
+            <td class="snsn right italic yellow">11</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">12</td>
+            <td class="sssn right italic yellow">17</td>
           </tr>
         </tbody>
       </table>
@@ -250,6 +250,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 28 Oct 2014 17:45:56 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Nov 2014 17:50:22 +0100</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index e3665cc8edb2f2f54d976049b1316781e65d9140..5cdf1b2ff7b8e27fda97dba3f5a7c07197204b18 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -122,11 +122,11 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">360</td>
+            <td class="snnn right italic cyan">358</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">433402</td>
+            <td class="snnn right italic cyan">431837</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">1874774</td>
+            <td class="ssnn right italic cyan">1860162</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
@@ -1366,6 +1366,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 28 Oct 2014 17:45:56 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Nov 2014 17:50:22 +0100</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 51d5ebd975818c8b40f90356874a756062ec8d61..5470e172871011172ea7b3eaca5d9d7ea62a6d84 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -105,11 +105,23 @@
    <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>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
-      The main source of information is <span class="emph alpha">P8</span>.
+      The main source of information is <span class="emph alpha">J2</span>.
    </div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       <table cellpadding="4" cellspacing="0">
         <tbody>
+          <tr>
+            <td class="snns top" id="ldJ2">
+              <span class="emph alpha">J2.</span>
+            </td>
+            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/basic2a.pdf">The Formal System λδ Revised - Stage A: Extending the Applicability Condition</a> (<span class="emph gamma">2014-11</span>). Submitted to ACM ToCL.</td>
+          </tr>
+          <tr>
+            <td class="nnns top" />
+            <td class="nsnn top">
+              <br />
+            </td>
+          </tr>
           <tr>
             <td class="snns top" id="ldR5">
               <span class="emph alpha">R5.</span>
@@ -346,6 +358,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 28 Oct 2014 17:45:56 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Nov 2014 17:57:11 +0100</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/download/basic2a.pdf b/helm/www/lambdadelta/download/basic2a.pdf
new file mode 100644 (file)
index 0000000..b819a06
Binary files /dev/null and b/helm/www/lambdadelta/download/basic2a.pdf differ

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 669d0f08fa781e03728001191dae5b3e67ef0ad8..0c496b676e9275f24a7fe2a4cd2a68920b6090a1 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -123,7 +123,7 @@
             <td class="snns italic cyan">files</td>
             <td class="snnn right italic cyan">30</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">68581</td>
+            <td class="snnn right italic cyan">46649</td>
             <td class="snns italic cyan">nodes</td>
             <td class="ssnn right italic cyan">62380</td>
           </tr>
@@ -288,6 +288,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 28 Oct 2014 17:45:56 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Nov 2014 17:50:22 +0100</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 6381c533ca10d1dafc290a5988b1d7c9606d9c11..4afdf7e1c7a1614535707e44a83997232f25ae13 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -226,6 +226,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 28 Oct 2014 17:45:56 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Nov 2014 17:50:22 +0100</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 14c812b5fe9dc93b1ec4d919a09b3fd65a9934e7..a565d4f28a1921ad0e0799e20c3994dfd41082e0 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -200,6 +200,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 28 Oct 2014 17:45:56 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Nov 2014 17:50:22 +0100</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 215846e27ebaeacca0cdf6efd4cf6a566225e642..dd7ee2462a5695499fa3d7aa72d8f99c0cd172a3 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -325,6 +325,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 28 Oct 2014 17:45:56 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Nov 2014 17:50:21 +0100</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index bb79c1336c5ad6666b80fb935c3f1e23523688b6..62dbcd1442c89e5fa17e0e46fa66f8682242c70a 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -309,6 +309,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 28 Oct 2014 17:45:56 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Nov 2014 17:50:21 +0100</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/web/home/documentation.ldw.xml b/helm/www/lambdadelta/web/home/documentation.ldw.xml
index 5643079191cff01463985cf6fccf9ac566e64c63..01bda01915daf4b9a036baa1c1d2bdb520239b21 100644 (file)
--- a/helm/www/lambdadelta/web/home/documentation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/documentation.ldw.xml
@@ -19,7 +19,7 @@
    
    <subsection name="v2"><version2-icon/>λδ version 2 (active)</subsection>
    <body>
-      The main source of information is <notice class="alpha" notice="P8"/>.
+      The main source of information is <notice class="alpha" notice="J2"/>.
    </body>
    <table name="documentation_2"/>
 

diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl
index 8d85ec953c0559557bfec9ec2ed23b21c68e4edb..764d751993d7d57c5e5dd4df7d400576a9fc0206 100644 (file)
--- a/helm/www/lambdadelta/web/home/documentation_2.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_2.tbl
@@ -1,6 +1,14 @@
 name "documentation_2"
 
 table {
+   [ { name "ldJ2" "<span class=\"emph alpha\">J2.</span>" "" } {
+     "F. Guidi:" +
+     @@("download/basic2a.pdf"
+     "The Formal System λδ Revised - Stage A: Extending the Applicability Condition") +
+     "(<span class=\"emph gamma\">2014-11</span>)." +
+     "Submitted to ACM ToCL." 
+     * }
+   ]
    [ { name "ldR5" "<span class=\"emph alpha\">R5.</span>" "" } {
      "F. Guidi:" +
      @@("download/cie_2010.pdf"