New nohyps option for /demod/

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

diff --git a/helm/www/lambda_delta/web/home/basic_2_blk.tbl b/helm/www/lambda_delta/web/home/basic_2_blk.tbl
index 8e3ada60750bc4bcd5a07009472b21dd29477ee7..8c4ee482733d1d38ac99250a069898dde70cf848 100644 (file)
--- a/helm/www/lambda_delta/web/home/basic_2_blk.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_blk.tbl
@@ -1,4 +1,4 @@
-name "ld_basic_2_blk"
+name "basic_2_blk"
 
 table {
    class "grey" [ { "domain" * } {
@@ -17,7 +17,7 @@ table {
         [ "no" ] [ "no" ] [ "no" ] [ "$p" ]
       ]
       class "prune" [
-         [ "native type annotation *" ] [ "Î\93 â\8a¢ â\93£W" ]
+         [ "native type annotation *" ] [ "Î\93 â\8a¢ â\93\9dW" ]
         [ "no" ] [ "no" ] [ "yes" ] [ "no" ]
       ]
    } ]