Generic Instantiation Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Asiehsalehi |
Release 1.1.0 |
||
| 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 = | = Version 1.0.1 = | ||
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.
