Generic Instantiation Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Asiehsalehi |
Release 1.1.0 |
||
| (7 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
= Version 1.1.0 = | |||
''27th February 2025'' | |||
This release fixes compatibility issues with Rodin. | |||
Version compatible with Rodin 3.8 and 3.9. | |||
= 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 10:49, 27 February 2025
Version 1.1.0
27th February 2025
This release fixes compatibility issues with Rodin.
Version compatible with Rodin 3.8 and 3.9.
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.
