- we improved and updated the generated web pages

[helm.git] / helm / www / lambda_delta / web / home / ld_basic_2.tbl

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 503c11d45c1ba4f9ed7329668b1471c6f88f7786..97a97aaa9009552ff1cb151ba5e4ed2af894d608 100644 (file)
--- a/helm/www/lambda_delta/web/home/ld_basic_2.tbl
+++ b/helm/www/lambda_delta/web/home/ld_basic_2.tbl
@@ -109,7 +109,11 @@ table {
             [ "tps" "tps_lift" "tps_tps" * ]
           }
        ]
-       [ { "local env. dropping" * } {
+       [ { "global env. slicing" * } {
+             [ "gdrop" * ]
+          }
+       ]
+       [ { "local env. slicing" * } {
              [ "ldrop" "ldrop_ldrop" * ]
           }
        ]