Search results
From Event-B
Jump to navigationJump to searchCreate the page "Edit" on this wiki! See also the search results found.
- ...://wiki.event-b.org/index.php?title=Template:Dev_News/Archives&action=edit Edit Archives]5 KB (633 words) - 06:40, 4 April 2023
- *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
- * 11/03/09: Anyone can now [[Special:Userlogin|create their own account]] and edit this wiki3 KB (377 words) - 12:40, 30 May 2013
- ...hat language you would like the interface to be in. Only the buttons like 'edit' and 'talk', in addition to a few pages in the sidebar, will be affected. T Settings to control editing pages, including the size of the edit box displayed and whether to watch pages that you have edited or created au7 KB (1,136 words) - 08:56, 5 July 2008
- * Generate the code and edit code6 KB (506 words) - 12:00, 25 November 2009
- ...le table.''' If you click on an edit tab for a heading ''within'' a table, edit, and preview, the parent table will display erroneously broken because part10 KB (1,407 words) - 23:14, 4 July 2008
- .... 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
- ...on [[Help:Section#Floating the TOC]] and [[Wikipedia:How to fix bunched-up edit links]], or see <nowiki>FixHTML</nowiki> and use it with TOCnestright as a4 KB (572 words) - 19:36, 9 September 2008
- ==== 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
- * See §4 of [http://wiki.event-b.org/images/Llncsdoc.pdf How to Edit Your Input File] for LLNCS formatting rules.4 KB (576 words) - 16:01, 26 January 2010
- === 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