Difference between revisions of "AnimB Current Developments"
From Event-B
Jump to navigationJump to searchimported>Mathieu |
imported>Mathieu m |
||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
+ | {{TODO|detail here the current devs}} | ||
− | + | See also the [[AnimB roadmap|preliminary roadmap]]. | |
[[Category:Work in progress]] | [[Category:Work in progress]] | ||
+ | [[Category:AnimB]] |
Latest revision as of 09:40, 4 March 2009
TODO: detail here the current devs
See also the preliminary roadmap.