Generic Instantiation Release History: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Asiehsalehi
Created page with "= Version 1.0.0 = * Initial release for Rodin 2.7."
 
imported>Asiehsalehi
 
(7 intermediate revisions by the same user not shown)
Line 1: Line 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 =
* Initial release for Rodin 2.7.
 
''21th January 2013''
 
* 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

Version 1.0.0

21th January 2013

  • Initial prototype release for Rodin 2.7.