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.
Retrieved from "http://wiki.event-b.org/index.php/Rodin_Editor_Release_History"
Personal tools