Revision history of "Defining a generator handler"

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio boxes 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.

  • curprev 12:46, 29 December 2011‎ imported>Colin‎ 717 bytes +717‎ New page: To link the Generator Action to your GMF diagram editor add an extension point like this to your plugin.xml (replace "PUT YOUR DIAGRAM EDITOR ID HERE" with your own id (usually found in yo...
Retrieved from ‘https://wiki.event-b.org/index.php/Defining_a_generator_handler’