minor update in basic_2 ...

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 1b5ab68bd4e587295815169b0a933364c70760a7..4784c537ce19ef235a549f07f7c30c00a5e623d5 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: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 5413ff904d31a3b42ef644758a5ef7d1ab2f4006..64a00761daf1f5d24cccf3b572b66a8774ac1ceb 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: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 3a00820c886f3835965f70ae62536878404e2f04..3779a6c0ff682942794c0fabbdbbcf1925b54137 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -994,7 +994,7 @@
               <br />
             </td>
             <td class="snns top italic yellow">iterated local env. slicing</td>
-            <td class="snns top yellow">drops ( â\87©*[?,?] ? ≡ ? )</td>
+            <td class="snns top yellow">drops ( â¬\87*[?,?] ? ≡ ? )</td>
             <td class="snnn top yellow">drops_drop drops_drops</td>
             <td class="snnn top yellow">
               <br />
@@ -1008,7 +1008,7 @@
               <br />
             </td>
             <td class="snns top italic yellow">generic term relocation</td>
-            <td class="snns top yellow">lifts_vector ( â\87§*[?] ? ≡ ? )</td>
+            <td class="snns top yellow">lifts_vector ( â¬\86*[?] ? ≡ ? )</td>
             <td class="snnn top yellow">lifts_lift_vector</td>
             <td class="snnn top yellow">
               <br />
@@ -1024,7 +1024,7 @@
             <td class="nnns top italic yellow">
               <br />
             </td>
-            <td class="snns top yellow">lifts ( â\87§*[?] ? ≡ ? )</td>
+            <td class="snns top yellow">lifts ( â¬\86*[?] ? ≡ ? )</td>
             <td class="snnn top yellow">lifts_lift lifts_lifts</td>
             <td class="snnn top yellow">
               <br />
@@ -1078,7 +1078,7 @@
               <br />
             </td>
             <td class="snns top italic orange">global env. slicing</td>
-            <td class="snns top orange">gget ( â\87©[?] ? ≡ ? )</td>
+            <td class="snns top orange">gget ( â¬\87[?] ? ≡ ? )</td>
             <td class="snnn top orange">gget_gget</td>
             <td class="snnn top orange">
               <br />
@@ -1134,7 +1134,7 @@
               <br />
             </td>
             <td class="snns top italic orange">basic local env. slicing</td>
-            <td class="snns top orange">drop ( â\87©[?,?,?] ? ≡ ? )</td>
+            <td class="snns top orange">drop ( â¬\87[?,?,?] ? ≡ ? )</td>
             <td class="snnn top orange">drop_append drop_leq drop_drop</td>
             <td class="snnn top orange">
               <br />
@@ -1148,7 +1148,7 @@
               <br />
             </td>
             <td class="snns top italic orange">basic term relocation</td>
-            <td class="snns top orange">lift_vector ( â\87§[?,?] ? ≡ ? )</td>
+            <td class="snns top orange">lift_vector ( â¬\86[?,?] ? ≡ ? )</td>
             <td class="snnn top orange">lift_lift_vector</td>
             <td class="snnn top orange">
               <br />
@@ -1164,7 +1164,7 @@
             <td class="nnns top italic orange">
               <br />
             </td>
-            <td class="snns top orange">lift ( â\87§[?,?] ? ≡ ? )</td>
+            <td class="snns top orange">lift ( â¬\86[?,?] ? ≡ ? )</td>
             <td class="snnn top orange">lift_neq lift_lift</td>
             <td class="snnn top orange">
               <br />
@@ -1321,6 +1321,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index d0238c87353ec8a9f30027ea7367f72e34219ecf..a96cf0b86db95f694811a2cbb24d6ddd06315f8b 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -333,6 +333,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +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 785e61d608ae5619a13a8d03726c5c90769acb5c..e558c8d52732461a0fe7542455bdc58e5bb919b4 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 5f41e696f11f589f890d81e3edd7cfa21f130ad2..09626dc2593570ee95fe89d00fb6c296b599df1d 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: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index c2bf898ccc404ebbc8e8a5fa9b3ecff95e0d17f5..0ba1cd09d81727e00f8e13cac2558695a4e1a0f0 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: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 502c44539101a493f9dd007a69d37febafa3a90e..591768d9587934c6000d577bd03189b31e659214 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: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index f303f789baaa15706592bddb2c2cbac9b9f476e9..6ae51331749c4b312fb94276ab77b943a35182fb 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: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html
index 647a62a6ebe63726c3eb6f5b11fbe4ad36e3737c..89eb45995551a0a5261b2df437c1f79e09e8d4cd 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: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html
index 37a5db3d8583d3bf1066cf306e2a4cacc6287ed1..ef89d56cddf0bf4f98f72b467b41873dd1f42329 100644 (file)
--- a/helm/www/lambdadelta/version_2.html
+++ b/helm/www/lambdadelta/version_2.html
@@ -131,6 +131,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>