Search results
From Event-B
Jump to navigationJump to searchCreate the page "Edit" on this wiki! See also the search results found.
- ...e "Requiremnts documents" tab by right-clicking on an entry and selecting "Edit Parser Settings" from the context menu. ...e configured (right-click on the entry of the requirements map and select "Edit parser settings")7 KB (995 words) - 15:44, 25 February 2009
- *The first option is to edit the .html files (html/maintopic.html, html/subtopic.html and html/toc.html4 KB (606 words) - 08:13, 15 October 2010
- ...using the auto prover, else there is no mark, meaning that the user had to edit the proof by hand (even partially).3 KB (457 words) - 10:43, 18 March 2010
- ** Edit directly with an EMF based editor such as Rose3 KB (445 words) - 07:03, 1 August 2011
- * Generate the code and edit code6 KB (506 words) - 12:00, 25 November 2009
- .... are stored in the Rodin database, and there is no classical text file to edit the models. ...he text representation posed a number of challenges. Users must be able to edit both in the text editor and the structural editor. However, the text editor8 KB (1,257 words) - 15:56, 28 January 2010
- Edit this class as following :4 KB (567 words) - 12:27, 25 August 2010
- Bug 1977355: Edit tab does not reflect changes made by other programs Bug 2893379: Can't edit Refinement if var and event have the same name11 KB (1,488 words) - 10:06, 28 July 2010
- *the information needed to correctly display and edit these elements in the various editors and UI components4 KB (570 words) - 13:17, 12 October 2012
- complement to your target platform. For that, edit the target platform4 KB (678 words) - 05:58, 24 October 2014
- ...r the name on the text field of the diagram element. Alternatively you can edit any element properties in the Properties tab). ''If you want to experiment with the Event-B tools, you can edit the Event-B model in this view. However, any changes you make will not be f11 KB (1,713 words) - 20:07, 18 April 2010
- ...t). To fix it, 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 Windows9 KB (1,298 words) - 10:06, 28 July 2010
- ==== Edit elements' properties ==== # Select the element you would like to edit - the properties will appear in the Properties view21 KB (3,472 words) - 20:32, 26 June 2015
- === How do I extend the Event-B structure editor (the Edit Tab of the Event-B editor) for editing an attribute (which I added to the R15 KB (2,372 words) - 16:29, 19 May 2015
- A further version allowing to edit an existing decomposition configuration is planned with release 1.3 of the6 KB (825 words) - 13:27, 27 January 2010
- ! scope="col" | Do not edit! This content has been migrated to Subversion. ...n be duplicated for further modification by the user. Indeed, the user can edit a profile and select it to run as automatic or post tactic. The idea is to27 KB (4,348 words) - 08:56, 26 September 2011
- ! scope="col" | Do not edit! This content has been migrated to Subversion. ...n be duplicated for further modification by the user. Indeed, the user can edit a profile and select it to run as automatic or post tactic. The idea is to27 KB (4,348 words) - 18:45, 28 September 2011
- ...amille_updates</tt><br><span style="color:#8B4513">Warning: You should not edit models using other plug-ins. You might lose data contributed by plug-ins to8 KB (1,106 words) - 08:35, 17 May 2012
- To edit a state machine in the diagram editor you simply double-click it in the nav ...ate an empty context to maintain the chain. Alternatively you can manually edit the extends of the implicit context in the refined level to link to the abs13 KB (2,134 words) - 08:04, 6 October 2015
- * Structuring large specifications: it is difficult to read and edit a large model; there is also a limit to the size of a model that the platfo6 KB (921 words) - 11:43, 8 January 2010