- source web pages for lambdadelta_1

[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
new file mode 100644 (file)
index 0000000..f8ce172
--- /dev/null
+++ b/helm/coq-contribs/lambdadelta_1/web/ground_1_src.tbl
@@ -0,0 +1,50 @@
+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 }