]
[ "\"A\"" @("http://matita.cs.unibo.it/" "Matita 0.99.2")
"April 2011" "June 2014" "October 2014" "August 2015"
- @@("html/documentation#ldV2a" "V2a") + " " + @@("html/documentation#ldR2c" "R2c") *
+ @@("html/documentation#ldV2a" "V2a") + "\ " + @@("html/documentation#ldR2c" "R2c") *
]
}
]
+ [ "Ground" "\"ground\""
+ [ "" @("http://matita.cs.unibo.it/" "Matita 0.99.2")
+ "August 2011" "March 2016" "February 2020" ""
+ "" *
+ ]
+ ]
[ "Abandoned" ""
[ "" @("http://coq.inria.fr/" "Coq 7.3.1")
"March 2008" "" "" "February 2011"
[ @@("html/specification#v1" "Version 1") "\"basic_1\""
[ "\"A\"" @("http://coq.inria.fr/" "Coq 7.3.1")
"May 2004" "December 2005" "November 2006" "May 2008"
- @@("html/documentation#ldV1a" "V1a") + " " + @@("html/documentation#ldJ1a" "J1a") *
+ @@("html/documentation#ldV1a" "V1a") + "\ " + @@("html/documentation#ldJ1a" "J1a") *
]
]
}