Decomposition Release History
From Event-B
Revision as of 10:40, 20 January 2010 by imported>Pascal (→Version 1.0.0)
Version 1.0.0
- Initial release for Rodin 1.2.
Version x.x.x
TODO: List here the new features and improvements.
- Improvements
- Bug fixes