How to create Rodin projects programmatically: 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.

21 August 2023

31 March 2009

10 September 2008

10 July 2008

  • curprev 11:0111:01, 10 July 2008‎ imported>Mathieu‎ m 6,114 bytes +67‎ No edit summary
  • curprev 10:2310:23, 10 July 2008‎ imported>Colin‎ 6,047 bytes +6,047‎ New page: The code snippets on this page are derived from the UML-B plugin 'ac.soton.umlb.eventB', package 'generator'. You can find this package in the Rodin projects sourceforge CVS repository. h...
Retrieved from ‘https://wiki.event-b.org/index.php/How_to_create_Rodin_projects_programmatically’