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