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

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