minor update in basic_2 ...

[helm.git] / helm / www / lambdadelta / basic_2.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>