Search results
From Event-B
Jump to navigationJump to searchCreate the page "Edit toolbar" on this wiki! See also the search results found.
- # 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
- 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
- ! 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 generation13 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