Rodin Editor Release History: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

12 July 2011

  • curprev 15:3315:33, 12 July 2011‎ imported>Tommy‎ m 141 bytes +28‎ No edit summary
  • curprev 15:3315:33, 12 July 2011‎ imported>Tommy‎ m 113 bytes +113‎ New page: = Version 0.5.0 = * Initial release for '''Rodin 2.2'''. ** Released on ''Wednesday 13 July 2011'' ** Revision r.
Retrieved from ‘https://wiki.event-b.org/index.php/Rodin_Editor_Release_History’