Search results

Create the page "Edit toolbar" on this wiki! See also the search results found.

• Parallel Composition using Event-B
  # To create a new composition file, go to Toolbar (on top), New>>Other... Event-B>>Composition Machine. Then select the proje ...ve(from Rodin 0.9). For Rodin 0.8.2, go to Resource or Java perspective to edit the file.
  7 KB (1,161 words) - 11:02, 4 July 2013
• Event-B Statemachines
  To edit a state machine in the diagram editor you simply double-click it in the nav ===Toolbar===
  13 KB (2,134 words) - 08:04, 6 October 2015
• Rodin Proving Perspective
  ! scope="col" | Do not edit! This content has been migrated to Subversion. ...s whose effects we briefly describe next; moving from left to right on the toolbar:
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  ! scope="col" | Do not edit! This content has been migrated to Subversion. ...s whose effects we briefly describe next; moving from left to right on the toolbar:
  27 KB (4,348 words) - 18:45, 28 September 2011
• Generic Event-B EMF extensions
  (Note - the adapter factory is generated by the EMF genmodel in the edit plugin). * A toolbar button to initiate the generation
  13 KB (1,988 words) - 11:01, 30 May 2020
• Rodin Platform 1.3 Release Notes
  ...he way a "New" action is triggered ("File > New" in menubar, button in the toolbar, context menu or buttons in the "Event-B Explorer", etc.), the same wizard ...Alternatively, it is possible to specify XULRunner path to point to 1.9.0: edit "rodin.ini" and add the following line:
  12 KB (1,642 words) - 13:21, 28 July 2010
• Event Model Decomposition
  ...s selected. It shall be available from the <tt>Project</tt> menu, from the toolbar, and in the contextual menu displayed when right-clicking on the selected p ...on the one hand in the "Pretty Print" view, and on the other hand in the "Edit" view, for an extended event).
  43 KB (6,950 words) - 09:48, 27 October 2011