version | -name | -developed with | -started | -announced | -released | -dismissed | +version | +name | +developed with | +stage | +started | +announced | +released | +dismissed |
2 | -- basic_2 + | + Version 2 | -+ | "basic_2" | +Matita 0.99.2 | -April 2011 | -July 2014 | -Planned in 2014 | -Not planned yet | +"A" | +April 2011 | +July 2014 | +Planned in 2014 | +Not planned yet |
1 | -- basic_1 + | + Version 1 | -+ | "basic_1" | +Coq 7.3.1 | -May 2004 | -January 2006 | -November 2006 | -May 2008 | ++ | May 2004 | +January 2006 | +November 2006 | +May 2008 |
Last update: Sun, 20 Jul 2014 16:13:31 +0200
+ Last update: Sat, 04 Oct 2014 22:58:58 +0200