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§ion=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