helm/www/lambdadelta/web/home/sitemap.tbl

   1 name "sitemap"
   2
   3 table [
   4    class "sky" {
   5       [ @@("index" "home") * ]
   6       [ @@("index#foreword" "foreword") * ]
   7       [ @@("index#citations" "citations") * ]
   8    }
   9    class "magenta" {
  10       [ @@"news" * ]
  11       [ @@("news#milestones" "milestones") * ]
  12       [ @@("news#visibility" "visibility") * ]
  13    }
  14    class "orange" {
  15       [ @@"documentation" * ]
  16       [ @@("documentation#v2" "version 2") * ]
  17       [ @@("documentation#v1" "version 1") * ]
  18    }
  19    class "green" {
  20       [ @@"specification" * ]
  21       [ @@("specification#v2" "version 2")
  22         "(" ^ @@("ground_2" "background") + "-" +
  23         @@("basic_2" "core") + "-" +
  24         @@("apps_2" "applications") ^ ")"
  25       * ]
  26       [ @@("specification#v1" "version 1")
  27         "(" ^ @@("basic_1" "core") ^ ")"
  28         "(" ^ @@("static/matita/lambdadelta/" "static HELM directory") ^ ")"
  29       * ]
  30    }
  31    class "green" {
  32       [ @@"implementation" * ]
  33       [ @@("implementation#lddl" "library")
  34         "(" ^ @@("static/lddl/" "static LDDL directory") ^ ")"
  35       * ]
  36       [ @@("implementation#helena" "helena") * ]
  37    }
  38 ]
  39
  40 class "capitalize" [ * ]
  41
  42 class "italic" [ 0 ]
  43
  44 ext ".html" [ * ]