From 5a81feec7b8c07a43e96d772431e06bad177ed8c Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 23 Oct 2017 17:20:25 +0000
Subject: [PATCH] - update in basic_2 - "versions" table fixed in the web site

---
 helm/www/lambdadelta/BTM.html              |  2 +-
 helm/www/lambdadelta/apps_2.html           |  2 +-
 helm/www/lambdadelta/basic_1.html          |  2 +-
 helm/www/lambdadelta/basic_2.html          | 56 ++++++++++++++++++----
 helm/www/lambdadelta/core.html             |  2 +-
 helm/www/lambdadelta/documentation.html    |  2 +-
 helm/www/lambdadelta/ground_1.html         |  2 +-
 helm/www/lambdadelta/ground_2.html         | 12 ++---
 helm/www/lambdadelta/home.html             |  2 +-
 helm/www/lambdadelta/implementation.html   |  2 +-
 helm/www/lambdadelta/news.html             |  2 +-
 helm/www/lambdadelta/osn.html              |  2 +-
 helm/www/lambdadelta/specification.html    | 12 ++---
 helm/www/lambdadelta/web/home/versions.tbl |  2 +-
 14 files changed, 71 insertions(+), 31 deletions(-)

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 58120fdc0..0fce455b2 100644
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -222,6 +222,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:22 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:02 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 0e24182f5..9fec51d2a 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -251,6 +251,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:23 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:03 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 10a859fef..12f13e407 100644
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:22 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:02 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 374c3a7db..c301a2d39 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -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">212</td>
+            <td class="snnn right italic cyan">229</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">213959</td>
+            <td class="snnn right italic cyan">234579</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">1057531</td>
+            <td class="ssnn right italic cyan">1140037</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
             <td class="snnn right italic green">62</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">741</td>
+            <td class="snnn right italic green">814</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">803</td>
+            <td class="ssnn right italic green">876</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
             <td class="snsn right italic yellow">31</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">78</td>
+            <td class="snsn right italic yellow">79</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">109</td>
+            <td class="sssn right italic yellow">110</td>
           </tr>
         </tbody>
       </table>
@@ -393,6 +393,46 @@
           </tr>
           <tr>
             <td class="snns top capitalize italic cyan">rt-transition</td>
+            <td class="snns top italic cyan">uncounted context-sensitive rt-transition</td>
+            <td class="snns top cyan">cnx ( ⦃?,?⦄ ⊢ ⬈[?,?] 𝐍⦃?⦄ )</td>
+            <td class="ssnn top cyan">cnx_simple cnx_drops cnx_cnx</td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic cyan">
+              <br />
+            </td>
+            <td class="nnns top italic cyan">
+              <br />
+            </td>
+            <td class="snns top cyan">lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? )</td>
+            <td class="ssnn top cyan">lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa lfpx_lfpx</td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic cyan">
+              <br />
+            </td>
+            <td class="nnns top italic cyan">
+              <br />
+            </td>
+            <td class="snns top cyan">cpx_ext ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
+            <td class="ssnn top cyan">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic cyan">
+              <br />
+            </td>
+            <td class="nnns top italic cyan">
+              <br />
+            </td>
+            <td class="snns top cyan">cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
+            <td class="ssnn top cyan">cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs</td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic cyan">
+              <br />
+            </td>
             <td class="snns top italic cyan">counted context-sensitive rt-transition</td>
             <td class="snns top cyan">cpg ( ⦃?,?⦄ ⊢ ? ⬈[?,?] ? )</td>
             <td class="ssnn top cyan">cpg_simple cpg_drops cpg_lsubr</td>
@@ -844,6 +884,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:24 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:04 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html
index 99e708920..89dbc10ce 100644
--- a/helm/www/lambdadelta/core.html
+++ b/helm/www/lambdadelta/core.html
@@ -7116,6 +7116,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:23 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:03 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 5831c0ffc..59b27187f 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -401,6 +401,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:21 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:01 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index cc6985d6e..f889e6bd4 100644
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -291,6 +291,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:22 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:02 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 4a287685c..8a22ab925 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -134,18 +134,18 @@
             <td class="snns italic cyan">files</td>
             <td class="snnn right italic cyan">102</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">142397</td>
+            <td class="snnn right italic cyan">143239</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">328868</td>
+            <td class="ssnn right italic cyan">332314</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">41</td>
+            <td class="snnn right italic green">42</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">678</td>
+            <td class="snnn right italic green">679</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">719</td>
+            <td class="ssnn right italic green">721</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
@@ -881,6 +881,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:23 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:03 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html
index bf312f8ef..66b3c6d22 100644
--- a/helm/www/lambdadelta/home.html
+++ b/helm/www/lambdadelta/home.html
@@ -297,6 +297,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:21 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:01 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index f63f438ca..2e4b1351b 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.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: Tue, 17 Oct 2017 20:34:21 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:01 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 9264162d9..8e49df35f 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -380,6 +380,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:20 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:00 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index 06be4bd61..d786eafef 100644
--- a/helm/www/lambdadelta/osn.html
+++ b/helm/www/lambdadelta/osn.html
@@ -197,6 +197,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:21 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:02 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 7109250d7..68fd14935 100644
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -147,7 +147,7 @@
             <td class="snnn top yellow" />
             <td class="snnn top yellow" />
             <td class="ssnn top yellow">
-              <a href="http://lambdadelta.info/documentation#ldJ3a">J3a</a>
+              <a href="http://lambdadelta.info/documentation.html#ldJ3a">J3a</a>
             </td>
           </tr>
           <tr>
@@ -181,8 +181,8 @@
             <td class="snnn top orange">October 2014</td>
             <td class="snnn top orange">August 2015</td>
             <td class="ssnn top orange">
-              <a href="http://lambdadelta.info/documentation#ldV2a">V2a</a>
-              <a href="http://lambdadelta.info/documentation#ldR2c">R2c</a>
+              <a href="http://lambdadelta.info/documentation.html#ldV2a">V2a</a>
+              <a href="http://lambdadelta.info/documentation.html#ldR2c">R2c</a>
             </td>
           </tr>
           <tr>
@@ -212,8 +212,8 @@
             <td class="snsn top red">November 2006</td>
             <td class="snsn top red">May 2008</td>
             <td class="sssn top red">
-              <a href="http://lambdadelta.info/documentation#ldV1a">V1a</a>
-              <a href="http://lambdadelta.info/documentation#ldJ1a">J1a</a>
+              <a href="http://lambdadelta.info/documentation.html#ldV1a">V1a</a>
+              <a href="http://lambdadelta.info/documentation.html#ldJ1a">J1a</a>
             </td>
           </tr>
         </tbody>
@@ -378,6 +378,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:22 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:02 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/web/home/versions.tbl b/helm/www/lambdadelta/web/home/versions.tbl
index d89ffd340..28f07f94e 100644
--- a/helm/www/lambdadelta/web/home/versions.tbl
+++ b/helm/www/lambdadelta/web/home/versions.tbl
@@ -44,4 +44,4 @@ class "top"               { * }
 
 class "capitalize italic" [ 0 ]
 
-ext   ".html"             { 0 }
+ext   ".html"             { * }
-- 
2.39.2