contrib update ...

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index e2a0831ee7c4da81e1e6786922baebb5291b6616..6da2d08fcf1a88bb1e8c3a94b753540ab73375a8 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: Sat, 04 Oct 2014 22:58:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index b4acc1f91a30ab84fa7ed88364251f5dea6f1428..0e502b7f9709b6345a2c8200a4b2c82872fe7c3f 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -191,6 +191,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 04 Oct 2014 22:58:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index b2fec951153ebe0d0e552f62b6b675da56a1264e..b0891996f5b4d39903a43e15d6654452a0ad9efc 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -60,9 +60,9 @@
             <td class="snns italic cyan">files</td>
             <td class="snnn right italic cyan">358</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">430798</td>
+            <td class="snnn right italic cyan">430633</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">1858367</td>
+            <td class="ssnn right italic cyan">1858385</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
@@ -317,7 +317,7 @@
           </tr>
           <tr>
             <td class="snns top capitalize italic blue">equivalence</td>
-            <td class="snns top italic blue">decomposed extended equivalence</td>
+            <td class="snns top italic blue">decomposed rt-equivalence</td>
             <td class="snns top blue">scpes ( ⦃?,?⦄ ⊢ ? •*⬌*[?,?,?,?] ? )</td>
             <td class="snnn top blue">scpes_aaa scpes_cpcs scpes_scpes</td>
             <td class="snnn top blue">
@@ -355,7 +355,7 @@
           </tr>
           <tr>
             <td class="snns top capitalize italic cyan">computation</td>
-            <td class="snns top italic cyan">evaluation for context-sensitive extended reduction</td>
+            <td class="snns top italic cyan">evaluation for context-sensitive rt-reduction</td>
             <td class="snns top cyan">cpxe ( ⦃?,?⦄ ⊢ ➡*[?,?] 𝐍⦃?⦄ )</td>
             <td class="snnn top cyan">
               <br />
@@ -397,7 +397,7 @@
             <td class="nnns top capitalize italic cyan">
               <br />
             </td>
-            <td class="snns top italic cyan">strongly normalizing extended computation</td>
+            <td class="snns top italic cyan">strongly normalizing rt-computation</td>
             <td class="snns top cyan">lcosx ( ? ⊢ ~⬊*[?,?,?] ? )</td>
             <td class="snnn top cyan">lcosx_cpx</td>
             <td class="snnn top cyan">
@@ -483,7 +483,7 @@
             <td class="nnns top capitalize italic cyan">
               <br />
             </td>
-            <td class="snns top italic cyan">decomposed extended computation</td>
+            <td class="snns top italic cyan">decomposed rt-computation</td>
             <td class="snns top cyan">scpds ( ⦃?,?⦄ ⊢ ? •*➡*[?,?,?] ? )</td>
             <td class="snnn top cyan">scpds_lift scpds_aaa scpds_scpds</td>
             <td class="snnn top cyan">
@@ -497,7 +497,7 @@
             <td class="nnns top capitalize italic cyan">
               <br />
             </td>
-            <td class="snns top italic cyan">context-sensitive extended computation</td>
+            <td class="snns top italic cyan">context-sensitive rt-computation</td>
             <td class="snns top cyan">lpxs ( ⦃?,?⦄ ⊢ ➡*[?,?] ? )</td>
             <td class="snnn top cyan">lpxs_drop lpxs_lleq lpxs_aaa lpxs_cpxs lpxs_lpxs</td>
             <td class="snnn top cyan">
@@ -609,7 +609,7 @@
             <td class="nnns top capitalize italic water">
               <br />
             </td>
-            <td class="snns top italic water">normal forms for context-sensitive extended reduction</td>
+            <td class="snns top italic water">normal forms for context-sensitive rt-reduction</td>
             <td class="snns top water">cnx ( ⦃?,?⦄ ⊢ ➡[?,?] 𝐍⦃?⦄ )</td>
             <td class="snnn top water">cnx_lift cnx_crx cnx_cix</td>
             <td class="snnn top water">
@@ -623,7 +623,7 @@
             <td class="nnns top capitalize italic water">
               <br />
             </td>
-            <td class="snns top italic water">context-sensitive extended reduction</td>
+            <td class="snns top italic water">context-sensitive rt-reduction</td>
             <td class="snns top water">lpx ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
             <td class="snnn top water">lpx_drop lpx_frees lpx_lleq lpx_aaa</td>
             <td class="snnn top water">
@@ -653,7 +653,7 @@
             <td class="nnns top capitalize italic water">
               <br />
             </td>
-            <td class="snns top italic water">irreducible forms for context-sensitive extended reduction</td>
+            <td class="snns top italic water">irreducible forms for context-sensitive rt-reduction</td>
             <td class="snns top water">cix ( ⦃?,?⦄ ⊢ ➡[?,?] 𝐈⦃?⦄ )</td>
             <td class="snnn top water">cix_lift</td>
             <td class="snnn top water">
@@ -667,7 +667,7 @@
             <td class="nnns top capitalize italic water">
               <br />
             </td>
-            <td class="snns top italic water">reducible forms for context-sensitive extended reduction</td>
+            <td class="snns top italic water">reducible forms for context-sensitive rt-reduction</td>
             <td class="snns top water">crx ( ⦃?,?⦄ ⊢ ➡[?,?] 𝐑⦃?⦄ )</td>
             <td class="snnn top water">crx_lift</td>
             <td class="snnn top water">
@@ -933,7 +933,7 @@
             <td class="nnns top capitalize italic yellow">
               <br />
             </td>
-            <td class="snns top italic yellow">contxt-sensitive extended multiple substitution</td>
+            <td class="snns top italic yellow">contxt-sensitive multiple rt-substitution</td>
             <td class="snns top yellow">cpys ( ⦃?,?⦄ ⊢ ? ▶*[?,?] ? )</td>
             <td class="snnn top yellow">cpys_alt ( ⦃?,?⦄ ⊢ ? ▶▶*[?,?] ? )</td>
             <td class="snnn top yellow">cpys_lift cpys_cpys</td>
@@ -1073,7 +1073,7 @@
             <td class="nnns top capitalize italic orange">
               <br />
             </td>
-            <td class="snns top italic orange">contxt-sensitive extended ordinary substitution</td>
+            <td class="snns top italic orange">contxt-sensitive ordinary rt-substitution</td>
             <td class="snns top orange">cpy ( ⦃?,?⦄ ⊢ ? ▶[?,?] ? )</td>
             <td class="snnn top orange">cpy_lift cpy_nlift cpy_cpy</td>
             <td class="snnn top orange">
@@ -1087,7 +1087,7 @@
             <td class="nnns top capitalize italic orange">
               <br />
             </td>
-            <td class="snns top italic orange">local env. ref. for extended substitution</td>
+            <td class="snns top italic orange">local env. ref. for rt-substitution</td>
             <td class="snns top orange">lsuby ( ? ⊆[?,?] ? )</td>
             <td class="snnn top orange">lsuby_lsuby</td>
             <td class="snnn top orange">
@@ -1303,6 +1303,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 04 Oct 2014 22:58:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 060534f39d16bc6a76dc4f5c45bb4df0b7bcdab3..d07a8b9778739c58e71b814f630e5238b0d888f2 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -161,7 +161,7 @@
             <td class="snns top" id="ldV2">
               <span class="date">V2.</span>
             </td>
-            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/version_2.html">lambdadelta_2</a> (revised <span class="date">2014-09</span>). Formal specification for the proof assistant Matita 0.99.2 (scripts). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
+            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/version_2.html">lambdadelta_2</a> (revised <span class="date">2014-10</span>). Formal specification for the proof assistant Matita 0.99.2 (scripts). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
           </tr>
           <tr>
             <td class="nnss top" />
@@ -333,6 +333,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 04 Oct 2014 22:58:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/download/lambdadelta_2.tar.gz b/helm/www/lambdadelta/download/lambdadelta_2.tar.gz
index e558c8d52732461a0fe7542455bdc58e5bb919b4..74759de60bbaf558513fa107526aca6383ece21e 100644 (file)
Binary files a/helm/www/lambdadelta/download/lambdadelta_2.tar.gz and b/helm/www/lambdadelta/download/lambdadelta_2.tar.gz differ

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 62ea59dd506a6158dfa4b173ec58ae29cbec623c..87ad0d3c25a609e3b2037ae5f528e5c4907a96ea 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -234,6 +234,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 04 Oct 2014 22:58:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 590ea923f9cba9ee1843b381f280cdf868dbfb9b..e0f5b7aab8f90318cb400d2dcb4d3c846b43b430 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -266,6 +266,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 04 Oct 2014 22:58:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 5010596da8c6726d866f8ab576c72e8f5a36d434..190bf2ebbe0b21f2268d7a61a497ae83e4e4e7fe 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -135,6 +135,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 04 Oct 2014 22:58:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index d6c2de260bfa7659bb4dc54384369aa40f50c2a5..1110d756931c2e06b8bbb9fffa6160171ad54c87 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -303,6 +303,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 04 Oct 2014 22:58:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:31 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html
index c50f44b4f33eebfff731751e8b4e32cd4945a050..b28827183afa7572eeabcbe030589d61450e36bf 100644 (file)
--- a/helm/www/lambdadelta/version_1.html
+++ b/helm/www/lambdadelta/version_1.html
@@ -167,6 +167,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 04 Oct 2014 22:58:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html
index eeacec00cd5284887b5acb6bf072cadb5b940b3c..925508051760f3861d1c4e0fceac0699384e1f80 100644 (file)
--- a/helm/www/lambdadelta/version_2.html
+++ b/helm/www/lambdadelta/version_2.html
@@ -91,7 +91,7 @@
    <ul xmlns:ld="http://lambdadelta.info/" id="source">
       <li>
       <a href="http://lambdadelta.info/download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</a>
-      (revised <span class="date">2014-09</span>).
+      (revised <span class="date">2014-10</span>).
       Source scripts.
    </li>
     </ul>
@@ -131,6 +131,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 04 Oct 2014 22:58:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl
index 3469f65f1331369d227f2af1404265888e1acd40..434ebbd64022a3b95923164d65cd7ee6309cb98d 100644 (file)
--- a/helm/www/lambdadelta/web/home/documentation_2.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_2.tbl
@@ -47,7 +47,7 @@ table {
    [ { name "ldV2" "<span class=\"date\">V2.</span>" "" } {
      "F. Guidi:" +
      @@("version_2.html" "lambdadelta_2") +
-     "(revised <span class=\"date\">2014-09</span>)." +
+     "(revised <span class=\"date\">2014-10</span>)." +
      "Formal specification for the proof assistant Matita 0.99.2 (scripts)." +
      @@("documentation.html#bibtex" "BibTeX entry") ^ "."
      * }

diff --git a/helm/www/lambdadelta/web/home/version_2.ldw.xml b/helm/www/lambdadelta/web/home/version_2.ldw.xml
index 88abedf812915ada5a006b560996f34c227180f3..816bface5313aadbc0e29519ea86efa762976547 100644 (file)
--- a/helm/www/lambdadelta/web/home/version_2.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml
@@ -16,7 +16,7 @@
 
    <topitem name="source">
       <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
-      (revised <date date="2014-09"/>).
+      (revised <date date="2014-10"/>).
       Source scripts.
    </topitem>