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
• Help:Talk pages
  ...accessed by clicking the ''Discussion'' tab at the top of the page. Simply edit the page as normal to add your comment. ...'main' namespace (See [[Help:namespaces]]) As with any wiki page, you can edit it, link to it, and view the editing history.
  6 KB (1,088 words) - 08:57, 5 July 2008
• 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
• Event-B:Village pump
  <!-- or clicking the signature icon in the edit toolbar. --> [{{SERVER}}{{localurl:Event-B:Village pump|action=edit&section=new}} <small>Post a new message</small>]
  8 KB (1,148 words) - 08:43, 24 February 2009
• 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
• Help:Maths
  ...e><nowiki><math> ... </math></nowiki></code>. The [[Help:Edit toolbar|edit toolbar]] has a button for this.
  65 KB (9,755 words) - 10:04, 5 September 2008