Defining a generator handler: 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.

29 December 2011

  • curprev 12:4612: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’