Search results
From Event-B
Jump to navigationJump to searchCreate the page "Edit" on this wiki! See also the search results found.
- <div align="right" class="main_page_frame_link">[[Template:Main Page/title|Edit]]</div> |link = [[Template:Main Page/User Documentation|Edit]]2 KB (194 words) - 09:48, 19 May 2020
- <div align="right" class="main_page_frame_link">[[Template:Main Page/title|Edit]]</div> |link = [[Template:Main Page/User Documentation|Edit]]2 KB (171 words) - 16:17, 27 October 2008
- ...{{{edit|}}}|[{{fullurl:{{{1|}}}:{{{2|template}}}:{{{3|foo}}}|action=edit}} edit]}} {{#if:{{{watch|}}}|[{{fullurl:{{{1|}}}:{{{2|template}}}:{{{3|foo}}}|acti |edit =4 KB (420 words) - 13:19, 23 February 2009
- It's very easy to edit the contents of a wiki. It only takes a few clicks. * Click the '''edit''' [[Help:Navigation#Page Tabs|page tab]] at the top of the page.2 KB (425 words) - 22:40, 4 July 2008
- ! scope="col" | Do not edit! This content has been migrated to Subversion.491 bytes (67 words) - 14:18, 19 September 2011
- *''m'' a minor edit, *''b'' an edit made by a bot.3 KB (473 words) - 23:36, 4 July 2008
- Please, feel free to change/edit/remove/mutate the whole thing. [[User:Mathieu|Mathieu]] 17:09, 9 September531 bytes (82 words) - 10:48, 25 September 2008
- Clicking a red link, will take you to the edit page for the new article. Simply type your text, click save and the new pa ...avigation#Page Tabs|page tab]] at the top of the page will take you to the edit page for that article, where you can create the new page by typing your tex3 KB (522 words) - 22:57, 4 July 2008
- ...and even if the component you edit is streamlined to basic text, what you edit is stored in an underlying database. That's the reason why you can not type * you can edit the Event-B element's attributes by entering the "edition" mode provided by4 KB (744 words) - 17:20, 3 June 2013
- // This will add an [edit top] link at the top of all pages except preview pages ...eTitle+'&action=edit§ion=0" title="'+document.title.split(" - ")[0]+'">edit top</a>]</div>';9 KB (873 words) - 12:46, 25 September 2008
- [http://wiki.event-b.org/index.php?title=Template:News/Archives&action=edit Edit Archives]677 bytes (95 words) - 22:03, 30 September 2020
- ...the next line, for the anchors in a section title echo inside any section edit summary and work just as well. ...ding a space keeps it more readable, but does impact the length of section edit titles.<br/><br/>9 KB (1,362 words) - 13:23, 11 September 2008
- '''Workaround 2''' - You can edit the properties of a transition from the class diagram by clicking on the tr778 bytes (122 words) - 12:15, 4 March 2009
- |edit = 1847 bytes (75 words) - 13:19, 23 February 2009
- ==The Edit menu==4 KB (599 words) - 15:56, 28 January 2009
- ...avoid expending too much effort within your own area of the wiki. Be bold! Edit the main wiki articles! You can also use a shared [[Sandbox]] page for quic ...ser, in situations where this could potentially cause upset. Some types of edit are widely acceptable, and unlikely to cause upset:3 KB (510 words) - 08:58, 5 July 2008
- Here you can edit details of the currently selected model element. ...licking on the advanced tab will load the abstract machine so that you can edit either (using the outline view to switch between the multiple machines/cont3 KB (507 words) - 07:02, 1 August 2011
- ...ted discussion page, the version history, and—most notably—the edit link. ...uploading someone with access to the MediaWiki installation files needs to edit the <code>LocalSettings.php</code> file and uncomment or add the option <co7 KB (1,106 words) - 23:22, 4 July 2008
- Please add or edit the topics for the Requirements Telco, to be held in October 2008. Please a1 KB (169 words) - 12:51, 12 August 2009
- The "edit" view is mainly a tree with elements as nodes and attributes as value for n prefix="LABEL IN THE EDIT VIEW"2 KB (247 words) - 09:45, 18 May 2010
- # Set up a link to edit expressions of the Bound element in the UI (Bound elements carry one expres # Set up a link to edit comments of the Bound element in the UI (Bound elements carry one comment [10 KB (1,503 words) - 13:34, 5 September 2013
- ! scope="col" | Do not edit! This content has been migrated to Subversion.1 KB (240 words) - 11:42, 30 June 2011
- ...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
- == Proposed names depending on edit context ==1,001 bytes (119 words) - 14:53, 21 January 2010
- *the automatic edit summary on editing a section is ambiguous ...ance of a page. See [[Help:Template#Composite_pages]]. This way a separate edit history is in effect provided for the section. Also this allows [[help:watc23 KB (3,699 words) - 14:10, 12 September 2008
- ...''export-RodinCore-src-jars.xml'' file, then "Run As" > "Ant Build..." to edit the launch configuration.2 KB (237 words) - 14:58, 10 March 2011
- ...ble, please do not generate files while having some Rodin Editor open, and edit only one model per project at once.''' You've just created an axiom that you can edit to give the constant k a type.8 KB (1,328 words) - 16:43, 3 June 2013
- ...ect and discuss possible improvements of the layout in the event-B editor (edit tab).1 KB (215 words) - 12:08, 12 August 2009
- ...-edit-unlock cycle (MS SourceSafe, Perforce) and those following an update-edit-merge cycle (Subversion, CVS). These two approaches are not compatible. T4 KB (670 words) - 14:38, 29 January 2009
- ...Description Page' within the wiki (even if it isn't an image). You should edit this page to provide more information about the file. For example, many wik2 KB (321 words) - 23:19, 4 July 2008
- A new extension <tt>attributeType</tt> has been added. We will edit it to add our "probabilistic" attribute.<br> ...n empty relationship element has been created (see picture below). We will edit it.<br />9 KB (1,496 words) - 17:44, 4 September 2013
- ...ines that are required for code generation. However, it is not possible to edit the machines since they are machine generated, and therefore this is prohib * open the composed machine editor. Open the INCLUDES edit feature.11 KB (1,714 words) - 12:41, 2 September 2013
- ...edit all the informations given when adding a connection by clicking the ''Edit'' button. The bundled solvers connections cannot be edited. ...formations given when setting a new solver configuration by clicking the ''Edit'' button. The bundled configurations cannot be edited.15 KB (2,212 words) - 15:13, 4 April 2012
- ...on is not available, or if another version of Rodin is should be targeted, edit the <code>.target</code> file accordingly3 KB (394 words) - 07:15, 15 July 2021
- ...ing the ''Edit...'' button after having selected the solver information to edit in the list.<br/> ...formations given when setting a new solver configuration by clicking the ''Edit'' button. The bundled configurations cannot be edited.17 KB (2,538 words) - 15:41, 2 October 2017
- ;lock-edit-unlock cycle :In an update-edit-merge cycle, granularity is not a problem. In fact, while merging, the whol5 KB (798 words) - 09:19, 2 March 2010
- <!-- 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.4 KB (575 words) - 15:09, 15 September 2011
- ...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
- ...can view the history of the page before the redirect was put in place. You edit the page if the redirect is wrong, and you can revert to an older version t3 KB (544 words) - 08:59, 5 July 2008
- ...://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
- ! 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
- * See §4 of [http://wiki.event-b.org/images/Llncsdoc.pdf How to Edit Your Input File] for LLNCS formatting rules.5 KB (699 words) - 14:52, 30 November 2010
- * See §4 of [http://wiki.event-b.org/images/Llncsdoc.pdf How to Edit Your Input File] for LLNCS formatting rules.5 KB (780 words) - 14:57, 6 October 2014
- * See §4 of [http://wiki.event-b.org/images/Llncsdoc.pdf How to Edit Your Input File] for LLNCS formatting rules.5 KB (732 words) - 08:31, 14 February 2012
- * 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
- ** Solution: Add a bound to the model (using Edit page of the standard Rodin editor).6 KB (749 words) - 17:54, 21 March 2018
- ...user may edit this identifier to a new name that may or may not exist. The edit may be made without attempting to resolve the proxy so that the validity of ...cture Editor]], which will offer a pop-up text editor allowing the user to edit a single expression or a compound sub-component such as an event.26 KB (3,961 words) - 13:04, 19 May 2020
- * 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
- * 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
- // ** if you do edit this file, be sure that your editor recognizes it ** // ** changes button before submitting the edit. **267 KB (34,206 words) - 10:58, 24 June 2008
- // ** if you do edit this file, be sure that your editor recognizes it ** // ** changes button before submitting the edit. **281 KB (35,750 words) - 15:33, 31 October 2008
- ...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
- ...<code><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
