Decomposition Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Pascal |
imported>Pascal mNo edit summary |
||
| Line 1: | Line 1: | ||
= Version 1 | = Version 1.0 = | ||
* Initial release for Rodin 1.2. | * Initial release for Rodin 1.2. | ||
= Version x. | = Version x.y = | ||
{{TODO | List here the new features and improvements.}} | {{TODO | List here the new features and improvements.}} | ||
* Improvements | * Improvements | ||
Revision as of 10:47, 20 January 2010
Version 1.0
- Initial release for Rodin 1.2.
Version x.y
TODO: List here the new features and improvements.
- Improvements
- Bug fixes
