name "versions" table { class "gray" [ "version" "name" "stage" "developed with" "started" "announced" "released" "concluded" "references" ] class "yellow" [ @@("specification#v3" "Version 3") "\"basic_3\"" "" "" "" "" "" "" @@("documentation#ldJ3a" "J3a") ] class "orange" { [ { @@("specification#v2" "Version 2") * } { "\"basic_2\"" * } { [ "\"A2\"" @("http://matita.cs.unibo.it/" "Matita 0.99.3") "October 2015" "" "" "" "" * ] [ "\"A1\"" @("http://matita.cs.unibo.it/" "Matita 0.99.2") "April 2011" "June 2014" "October 2014" "August 2015" @@("documentation#ldV2a" "V2a") + " " + @@("documentation#ldR2c" "R2c") * ] } ] [ "Abandoned" "" "" @("http://coq.inria.fr/" "Coq 7.3.1") "March 2008" "" "" "February 2011" "" * ] } class "red" [ @@("specification#v1" "Version 1") "\"basic_1\"" "" @("http://coq.inria.fr/" "Coq 7.3.1") "May 2004" "December 2005" "November 2006" "May 2008" @@("documentation#ldV1a" "V1a") + " " + @@("documentation#ldJ1a" "J1a") * ] } class "top" { * } class "capitalize italic" [ 0 ] ext ".html" { 0 }