Difference between revisions of "AnimB Current Developments"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (TODO) |
imported>Mathieu m |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
− | {{TODO | + | {{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.