From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 11 Oct 2011 17:34:12 +0000 (+0000)
Subject: update ...
X-Git-Tag: make_still_working~2208
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1e6ccf5e87e8c52cc8b360350fe91f2557d9311d;p=helm.git

update ...
---

diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index 99e471035..6f8d840a1 100644
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.html
@@ -54,8 +54,7 @@ replaced by "_" in all λδ-related identifiers.</li>
           <li>In particular, this refactoring involves file names and
 path names.</li>
           <li>The permanent λδ URL is sheduled to become <span
- style="font-style: italic;">http://lambda_delta.info</span> as soon as
-possible.<br>
+ style="font-style: italic;">http://lambda_delta.info</span> on December 2012.<br>
           </li>
         </ul>
       </ul>
diff --git a/helm/www/lambda_delta/web/home/ld_basic_2.tbl b/helm/www/lambda_delta/web/home/ld_basic_2.tbl
index 5ba11a277..8480c70de 100644
--- a/helm/www/lambda_delta/web/home/ld_basic_2.tbl
+++ b/helm/www/lambda_delta/web/home/ld_basic_2.tbl
@@ -91,8 +91,8 @@ table {
    ]
    class "red"   
    [ { "grammar" * } {
-        [ { "local env. equivalence" * } {
-             [ "leq" "leq_leq" * ]
+        [ { "local env. ref. for substitution" * } {
+             [ "lsubs" "lsubs_lsubs" * ]
           }
 	]
 	[ { "term hom." * } {