Difference between revisions of "Generic Instantiation Release History"
From Event-B
Jump to navigationJump to searchimported>Asiehsalehi |
imported>Asiehsalehi |
||
(One intermediate revision by the same user not shown) | |||
Line 13: | Line 13: | ||
* Initial prototype release for Rodin 2.7. | * Initial prototype release for Rodin 2.7. | ||
+ | |||
+ | [[Category:Generic Instantiation Plug-in]] | ||
+ | [[Category:User documentation]] |
Latest revision as of 15:20, 4 July 2013
Version 1.0.1
05th March 2013
Version compatible with Rodin 2.7.x and 2.8.x
- Bugs
- Dependency problem to Refactoring Framework (1.2.2) (fixed)
Version 1.0.0
21th January 2013
- Initial prototype release for Rodin 2.7.