Difference between revisions of "Decomposition Release History"
From Event-B
Jump to navigationJump to searchimported>Pascal m |
imported>Nicolas |
||
| Line 1: | Line 1: | ||
= Version 1.0 = | = Version 1.0 = | ||
* Initial release for Rodin 1.2. | * Initial release for Rodin 1.2. | ||
| + | |||
| + | = Version 1.0.1 = | ||
| + | * Implemented a workaround to take contributed elements (records, …) into account. Works properly when NOT decomposing contexts. | ||
= Version x.y = | = Version x.y = | ||
Revision as of 11:47, 1 March 2010
Version 1.0
- Initial release for Rodin 1.2.
Version 1.0.1
- Implemented a workaround to take contributed elements (records, …) into account. Works properly when NOT decomposing contexts.
Version x.y
TODO: List here the new features and improvements.
- Improvements
- Bug fixes
