helm/coq-contribs/lambdadelta/web/ground_1_src.tbl

   1 name "ground_1_src"
   2
   3 table uri "static/coq/lambdadelta/ground_1/" ext ".txt" {
   4    class "gray"
   5    [ { "component" * } {
   6         [ { "plane" * } {
   7              [ "files" * ]
   8           }
   9         ]
  10      }
  11    ]
  12    class "grass"
  13    [ { "multiple relocation" * } {
  14         [ { "" * } {
  15              [ @@"bg_plist" * ]
  16           }
  17         ]
  18      }
  19    ]
  20    class "yellow"
  21    [ { "extensions to the library" * } {
  22         [ { "" * } {
  23              [ @@"bg_hints" @@"bg_blt" * ]
  24           }
  25         ]
  26      }
  27    ]
  28    class "orange"
  29    [ { "generated logical decomposables" * } {
  30         [ { "" * } {
  31              [ @@"bg_types" @@"bg_props" * ]
  32           }
  33         ]
  34      }
  35    ]
  36    class "red"
  37    [ { "preamble" * } {
  38         [ { "" * } {
  39              [ @@"bg_require" @@"bg_rewrite" @@"bg_tactics" @@"bg_subst" * ]
  40           }
  41         ]
  42      }
  43    ]
  44 }
  45
  46 class "top"               { * }
  47
  48 class "capitalize italic" { 0 }
  49
  50 class "italic"            { 1 }