Generic Instantiation Release History

From Event-B
Revision as of 15:18, 4 July 2013 by imported>Asiehsalehi (→‎Version 1.0.0)
Jump to navigationJump to 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.