Generic Instantiation Release History

From Event-B
Jump to: navigation, search

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.