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

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