From 1e6ccf5e87e8c52cc8b360350fe91f2557d9311d Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 11 Oct 2011 17:34:12 +0000
Subject: [PATCH 1/1] update ...

---
 helm/www/lambda_delta/news.html               | 3 +--
 helm/www/lambda_delta/web/home/ld_basic_2.tbl | 4 ++--
 2 files changed, 3 insertions(+), 4 deletions(-)

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." * } {
-- 
2.39.2