Generic Instantiation Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Asiehsalehi No edit summary |
imported>Asiehsalehi |
||
| Line 1: | Line 1: | ||
= Version 1.0.1 = | = Version 1.0.1 = | ||
* Compatible with Refactoring Framework. | * Compatible with [http://wiki.event-b.org/index.php/Refactoring_Framework#Version_1.2.2 Refactoring Framework]. | ||
= Version 1.0.0 = | = Version 1.0.0 = | ||
* Initial prototype release for Rodin 2.7. | * Initial prototype release for Rodin 2.7. | ||
Revision as of 16:41, 5 March 2013
Version 1.0.1
- Compatible with Refactoring Framework.
Version 1.0.0
- Initial prototype release for Rodin 2.7.
