]> matita.cs.unibo.it Git - helm.git/commitdiff
update ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 11 Oct 2011 17:34:12 +0000 (17:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 11 Oct 2011 17:34:12 +0000 (17:34 +0000)
helm/www/lambda_delta/news.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl

index 99e4710355592d4de3a175342ecff616f3cb4124..6f8d840a19eb7f3c641d68c320ec15bdd2cdcbfd 100644 (file)
@@ -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>
index 5ba11a277acf1edfc40cea0fd3a374d9ceaeeafc..8480c70de4796ca4afb625f29958e3992d72f888 100644 (file)
@@ -91,8 +91,8 @@ table {
    ]
    class "red"   
    [ { "grammar" * } {
-        [ { "local env. equivalence" * } {
-             [ "leq" "leq_leq" * ]
+        [ { "local env. ref. for substitution" * } {
+             [ "lsubs" "lsubs_lsubs" * ]
           }
        ]
        [ { "term hom." * } {