Generic Instantiation Release History

From Event-B
Revision as of 10:49, 27 February 2025 by Guillaume (talk | contribs) (Release 1.1.0)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Version 1.1.0

27th February 2025

This release fixes compatibility issues with Rodin.

Version compatible with Rodin 3.8 and 3.9.

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.
Retrieved from ‘https://wiki.event-b.org/index.php?title=Generic_Instantiation_Release_History&oldid=14592’