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.
