Search results
From Event-B
Jump to navigationJump to searchCreate the page "Edit" on this wiki! See also the search results found.
- * 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
- 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
- * Structuring large specifications: it is difficult to read and edit large model; there is also a limit to the size of model that the Platform m18 KB (2,784 words) - 10:57, 6 September 2010
- Bug 1954442: Too many handles used by Edit page on Windows15 KB (2,008 words) - 15:34, 10 January 2011
- ...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