AnimB Current Developments: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu |
imported>Mathieu mNo edit summary |
||
| (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.
