Generic Instantiation Release History

From Event-B
Revision as of 16:39, 5 March 2013 by imported>Asiehsalehi
Jump to navigationJump to search

Version 1.0.1

  • Compatible with Refactoring Framework.

Version 1.0.0

  • Initial prototype release for Rodin 2.7.