"references"
]
class "yellow"
- [ @@("html/specification#v3" "Version 3") "\"basic_3\""
- "" ""
- "" "" "" ""
- @@("html/documentation#ldJ3a" "J3a")
+ [ { @@("html/specification#v3" "Version 3") *}
+ { "\"basic_3\"" * }
+ { [ "" ""
+ "" "" "" ""
+ @@("html/documentation#ldJ3a" "J3a")
+ ]
+ }
]
class "orange" {
[ { @@("html/specification#v2" "Version 2") * }
{ "\"basic_2\"" * }
- { [ "\"B\"" @("http://matita.cs.unibo.it/" "Matita 0.99.3")
- "October 2015" "November 2018" "" ""
- "" *
+ { [ "\"B\"" @("http://matita.cs.unibo.it/" "Matita 0.99.4")
+ "October 2015" "November 2018" "November 2019" ""
+ @@("html/documentation#ldV2b" "V2b") *
]
[ "\"A\"" @("http://matita.cs.unibo.it/" "Matita 0.99.2")
"April 2011" "June 2014" "October 2014" "August 2015"