Search results
From Event-B
Jump to navigationJump to searchCreate the page "Edit" on this wiki! See also the search results found.
- * See §4 of [http://wiki.event-b.org/images/Llncsdoc.pdf How to Edit Your Input File] for LLNCS formatting rules.6 KB (830 words) - 13:21, 7 October 2013
- ...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
- ...cates strongly that the current layout used in the default event-B editor (edit tab) is sub-optimal and severely hinders usability of the Rodin platform. I6 KB (915 words) - 16:57, 27 February 2014
- * See §4 of [http://wiki.event-b.org/images/Llncsdoc.pdf How to Edit Your Input File] for LLNCS formatting rules.6 KB (894 words) - 09:47, 5 June 2012
- * Generate the code and edit code7 KB (1,094 words) - 10:50, 22 January 2010
- ...nored. Consequently, users have to switch back to Rodin's native Editor to edit plug-in-specific modelling extensions. ...tributions and parsers for their extensions. By this users will be able to edit extended Event-B models solely through a text editor.16 KB (2,554 words) - 14:05, 8 October 2013
- ...Alternatively, it is possible to specify XULRunner path to point to 1.9.0: edit "rodin.ini" and add the following line: Bug 1954442: Too many handles used by Edit page on Windows12 KB (1,642 words) - 13:21, 28 July 2010
- :# edit rodin.ini, in the program argument part (before vmargs), add6 KB (909 words) - 13:48, 17 December 2014
- Consequently, users have to switch back to Rodin's native Editor to edit plug-in-specific modelling extensions. ...Camille will be implemented during the ADVANCE project to enable users to edit extended Event-B models solely through a text editor.20 KB (3,030 words) - 13:18, 18 July 2012
- * Select the Edit tab.12 KB (1,741 words) - 08:25, 14 December 2010
- :# edit rodin.ini, in the program argument part (before vmargs), add9 KB (1,317 words) - 11:09, 6 July 2017
- (Note - the adapter factory is generated by the EMF genmodel in the edit plugin).13 KB (1,988 words) - 11:01, 30 May 2020
- Of course, the database will change when users edit their models. We therefore must define a policy for updating the index whe14 KB (2,204 words) - 12:58, 12 October 2009
- ...another editor was to get a more modest and ergonomic way to visualize and edit the models. The models being presented through styled text pretty printing13 KB (1,991 words) - 20:57, 20 April 2012
- Bug 1954442: Too many handles used by Edit page on Windows11 KB (1,401 words) - 09:39, 8 November 2011
- Bug 1954442: Too many handles used by Edit page on Windows10 KB (1,277 words) - 13:45, 26 July 2011
- ...nored. Consequently, users have to switch back to Rodin's native Editor to edit plug-in-specific modelling extensions. However, Camille was extended in ode13 KB (1,966 words) - 09:54, 25 November 2014
- Bug 1954442: Too many handles used by Edit page on Windows10 KB (1,354 words) - 13:31, 1 July 2011
- Bug 1954442: Too many handles used by Edit page on Windows11 KB (1,542 words) - 08:35, 1 March 2012
- Bug 1954442: Too many handles used by Edit page on Windows11 KB (1,478 words) - 17:32, 2 May 2012