]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/coq-contribs/lambdadelta_1/web/ground_1_src.tbl
web site update
[helm.git] / helm / coq-contribs / lambdadelta_1 / web / ground_1_src.tbl
diff --git a/helm/coq-contribs/lambdadelta_1/web/ground_1_src.tbl b/helm/coq-contribs/lambdadelta_1/web/ground_1_src.tbl
deleted file mode 100644 (file)
index f8ce172..0000000
+++ /dev/null
@@ -1,50 +0,0 @@
-name "ground_1_src"
-
-table uri "static/coq/lambdadelta/ground_1/" ext ".txt" {
-   class "gray"
-   [ { "component" * } {
-        [ { "plane" * } {
-             [ "files" * ]
-          }
-        ]
-     }
-   ]
-   class "grass"
-   [ { "multiple relocation" * } {
-        [ { "" * } {
-             [ @@"bg_plist" * ]
-          }
-        ]
-     }
-   ]
-   class "yellow"
-   [ { "extensions to the library" * } {
-        [ { "" * } {
-             [ @@"bg_hints" @@"bg_blt" * ]
-          }
-        ]
-     }
-   ]
-   class "orange"
-   [ { "generated logical decomposables" * } {
-        [ { "" * } {
-             [ @@"bg_types" @@"bg_props" * ]
-          }
-        ]
-     }
-   ]
-   class "red"
-   [ { "preamble" * } {
-        [ { "" * } {
-             [ @@"bg_require" @@"bg_rewrite" @@"bg_tactics" @@"bg_subst" * ]
-          }
-        ]
-     }
-   ]
-}
-
-class "top"               { * }
-
-class "capitalize italic" { 0 }
-
-class "italic"            { 1 }