Search results

From Event-B
Jump to navigationJump to search
  • <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 September
    531 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 tex
    3 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 by
    4 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&section=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 tr
    778 bytes (122 words) - 12:15, 4 March 2009
  • |edit = 1
    847 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/cont
    3 KB (507 words) - 07:02, 1 August 2011
  • ...ted discussion page, the version history, and&mdash;most notably&mdash;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 <co
    7 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 a
    1 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:watc
    23 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. T
    4 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 wik
    2 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 accordingly
    3 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 whol
    5 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&section=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 t
    3 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.html
    4 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 Rose
    3 KB (445 words) - 07:03, 1 August 2011
  • * 11/03/09: Anyone can now [[Special:Userlogin|create their own account]] and edit this wiki
    3 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 au
    7 KB (1,136 words) - 08:56, 5 July 2008
  • * Generate the code and edit code
    6 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 part
    10 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 editor
    8 KB (1,257 words) - 15:56, 28 January 2010
  • Edit this class as following :
    4 KB (567 words) - 12:27, 25 August 2010

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)