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

   1 name "versions"
   2
   3 table {
   4    class "gray"
   5       [ "version" "name" "developed with"
   6         "stage" "started" "announced" "released" "concluded"
   7         "references"
   8       ]
   9    class "yellow"
  10       [ @@("specification#v3" "Version 3") "\"basic_3\"" ""
  11         "" "" "" "" ""
  12         @@("documentation#ldJ3a" "J3a")
  13       ]
  14    class "orange" {
  15       [ { @@("specification#v2" "Version 2") * }
  16         { "\"basic_2\"" * }
  17         { @("http://matita.cs.unibo.it/" "Matita 0.99.2") * }
  18         { [ "\"A2\"" "October 2015" "" "" ""
  19             *
  20           ]
  21           [ "\"A1\"" "April 2011" "June 2014" "October 2014" "August 2015"
  22             @@("documentation#ldV2a" "V2a") + " " + @@("documentation#ldR2c" "R2c")
  23           ]
  24         }
  25       ]
  26       [ "Abandoned" "" @("http://coq.inria.fr/" "Coq 7.3.1")
  27         "" "March 2008" "" "" "February 2011" *
  28       ]
  29    }
  30    class "red"
  31       [ @@("specification#v1" "Version 1") "\"basic_1\"" @("http://coq.inria.fr/" "Coq 7.3.1")
  32         "" "May 2004" "December 2005" "November 2006" "May 2008"
  33         @@("documentation#ldV1a" "V1a") + " " + @@("documentation#ldJ1a" "J1a")
  34       ]
  35 }
  36
  37 class "top"               { * }
  38
  39 class "capitalize italic" [ 0 ]
  40
  41 ext   ".html"             { 0 }