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