Search results

From Event-B
Jump to navigationJump to search
  • # 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
  • ...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
  • 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
  • <!-- 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
  • ! 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
  • ! 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
  • (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
  • ...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
  • ...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
  • ...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