- we added a time specification in the generated web pages

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

diff --git a/helm/www/lambda_delta/web/home/basic_2_src.tbl b/helm/www/lambda_delta/web/home/basic_2_src.tbl
index 82451e82f4899dabd6c155328507da2c25422c36..5881202bf04efd9a6e7a7fdb3d9012cbd6364de0 100644 (file)
--- a/helm/www/lambda_delta/web/home/basic_2_src.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl
@@ -9,6 +9,7 @@ table {
         ]
      }
    ]
+(*
    class "wine"
    [ { "examples" * } {
         [ { "" * } {
@@ -37,6 +38,7 @@ table {
         ]
      }
    ]
+*)
    class "blue"
    [ { "equivalence" * } {
         [ { "context-sensitive equivalence" * } {
@@ -109,16 +111,16 @@ table {
    ]
    class "green"
    [ { "unwind" * } {
-        [ { "" * } {
-            [ "" * ]
-         }
-        ]
+        [ { "stratified unwind" * } {
+            [ "sstas ( ⦃?,?⦄ ⊢ ? •*[?] ? )" "sstas_lift" "sstas_ltpss" "sstas_sstas" * ]
+          }
+       ]
      }
    ]
    class "grass"
    [ { "static typing" * } {
-        [ { "static type assignment" * } {
-            [ "sta ( ⦃?,?⦄ ⊢ ? • ? )" "sta_lift" "sta_ltpss" "sta_sta" * ]
+        [ { "stratified static type assignment" * } {
+            [ "ssta ( ⦃?,?⦄ ⊢ ? •[?,?] ? )" "ssta_lift" "ssta_ltpss" "ssta_ssta" * ]
           }
        ]
         [ { "local env. ref. for atomic arity assignment" * } {
@@ -130,7 +132,7 @@ table {
          }
         ]
         [ { "parameters" * } {
-             [ "sh" * ]
+             [ "sh" "sd" * ]
           }
         ]
      }