Generic Instantiation Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Asiehsalehi |
imported>Asiehsalehi |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
= Version 1.0.1 = | = Version 1.0.1 = | ||
* | |||
''05th March 2013'' | |||
Version compatible with Rodin 2.7.x and 2.8.x | |||
*Bugs | |||
** Dependency problem to [http://wiki.event-b.org/index.php/Refactoring_Framework#Version_1.2.2 Refactoring Framework (1.2.2)] (fixed) | |||
= Version 1.0.0 = | = Version 1.0.0 = | ||
''21th January 2013'' | |||
* 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.
