Rodin Editor Release History

From Event-B
Jump to: navigation, search

Version 0.5.0

  • Initial release for Rodin 2.2.
    • Released on Wednesday 13 July 2011
    • Revision r.