Generic Instantiation Release History: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Asiehsalehi
imported>Asiehsalehi
Line 1: Line 1:
= Version 1.0.1 =
= Version 1.0.1 =
* Compatible with [http://wiki.event-b.org/index.php/Refactoring_Framework#Version_1.2.2 Refactoring Framework].
* Compatible with [http://wiki.event-b.org/index.php/Refactoring_Framework#Version_1.2.2 Refactoring Framework (1.2.2)].


= 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

Version 1.0.0

  • Initial prototype release for Rodin 2.7.