Decomposition Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Pascal mNo edit summary |
imported>Nicolas No edit summary |
||
| 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
