Search results

From Event-B
Jump to navigationJump to search

Page title matches

  • ...Namespaces|namespace]] ''Special:'' and are not editable directly as other pages. Some special pages depend on the [[Help:Preferences|preferences]] that have been set by a user
    646 bytes (107 words) - 08:52, 5 July 2008

Page text matches

  • ...Namespaces|namespace]] ''Special:'' and are not editable directly as other pages. Some special pages depend on the [[Help:Preferences|preferences]] that have been set by a user
    646 bytes (107 words) - 08:52, 5 July 2008
  • == Using Images and Image Description Pages == After you've uploaded a file, you can use it in an article, with some special wiki syntax to create the link. See [[Help:Images]].
    2 KB (321 words) - 23:19, 4 July 2008
  • * [[Help:Editing pages|Editing pages]] * [[Help:User page|User pages]]
    2 KB (200 words) - 14:03, 12 December 2008
  • == Uncategorized pages == Et si tu vois d'autre pages que tu as écrit dans [[Special:Uncategorizedpages]], ce serait bien de les catégoriser aussi.
    345 bytes (49 words) - 10:20, 22 February 2011
  • MediaWiki offers a collection of special pages and tools to keep track of what is going on in the wiki. So you can watch f * recent changes to all pages
    3 KB (473 words) - 23:36, 4 July 2008
  • # The [[#Sidebar|sidebar]] on the left gives you access to important pages in the wiki such as Recent changes or Upload file. ...ing the default MonoBook skin). This sidebar gives you access to important pages in the wiki such as Recent changes or Upload file.
    7 KB (1,106 words) - 23:22, 4 July 2008
  • // This will add an [edit top] link at the top of all pages except preview pages ...lementById("wikiPreview") || window.location.href.indexOf("index.php?title=Special:") != -1) return;
    9 KB (873 words) - 12:46, 25 September 2008
  • ...reate links at the bottom of the article which take you to the list of all pages in that category, which makes it easy to browse related articles. == Linking to Category Pages ==
    3 KB (579 words) - 23:15, 4 July 2008
  • ...mplate:TODO|What links here]] link may be used to gather a list of all the pages using this template.
    655 bytes (87 words) - 08:25, 25 September 2008
  • ...hes (/) within a page name are simply part of the page name and do nothing special. ...ll automatically appear at the top of each subpage. In the case of sub-sub-pages, a set of breadcrumb navigation links will automatically be presented. Note
    2 KB (331 words) - 23:16, 4 July 2008
  • * [[Special:Whatlinkshere/Template:TODO|List of pages using]] the [[:Template:TODO|TODO template]]
    367 bytes (51 words) - 08:26, 24 February 2009
  • ...lete]}} {{#if:{{{block|}}}|{{#ifeq:{{lc:{{{2|template}}}}}|user|[[{{{1|}}}:Special:Blockip/{{#titleparts:{{{3|foo}}}|1}}|block]]}}}} </small>)</span><noinclud | "[{{fullurl:template:foo|action=watch}} watch]"; click to [[Help:Watching pages|watch]] the page.
    4 KB (420 words) - 13:19, 23 February 2009
  • ...thin text of a wiki page, which is mainly useful on [[Help:Talk pages|talk pages]] when you sign your name. User pages are just as flexible as any other wiki page, and it's a page all about you,
    3 KB (510 words) - 08:58, 5 July 2008
  • ...t directly related to this core content, may go in other namespaces. These pages have a name of the form "''namespace'':''page''", for example this page is ...You shouldn't create these directly; they are created when you click the [[special:upload|Upload file]] link in the toolbox.
    2 KB (347 words) - 08:55, 5 July 2008
  • ...plate feature comes into play (like the tag above which is included in the pages of the Help namespace). Templates are wiki pages which can be used in other pages in three ways:
    5 KB (845 words) - 20:18, 10 September 2008
  • ...or wikitable elements such as infoboxes dominating the right side of such pages. '''TOCnestright''' will drift up against such constructs allowing text wra ...' itself. So prophylactic use is a good idea, and is a really good idea on pages with lots of images.
    4 KB (572 words) - 19:36, 9 September 2008
  • Clicking on the [[special:preferences|my preferences]] link in the upper right while logged in allows ...ll be wrapped with <code><nowiki>[[ ]]</nowiki></code>; if you want to use special linking, enable ''Raw signatures (without automatic link)''.
    7 KB (1,136 words) - 08:56, 5 July 2008
  • ...10/09: New [[Flows]] and [[Modularisation Plug-in|Modularisation]] plug-in pages * 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
  • ...sitate to improve this wiki.'' You may find some help within the following pages: [[Special:Recentchanges|Recent Changes]] - Monitor the wiki activity.
    3 KB (394 words) - 12:45, 15 April 2024
  • ...hesitate to improve this wiki. You may find some help within the following pages: [[Special:Recentchanges|Recent Changes]] - Monitor the wiki activity.
    3 KB (395 words) - 08:48, 7 January 2010
  • The following pages give useful information about the Rodin platform releases: Special efforts will be made on the following topics, which are requested by all us
    7 KB (963 words) - 11:30, 27 January 2010
  • ...ry is in effect provided for the section. Also this allows [[help:watching pages|watching]] it separately. ...e for sections]], pages linking to the section are included in the list of pages linking to the page. Possible workarounds:
    23 KB (3,699 words) - 14:10, 12 September 2008
  • I've started to categorize existing pages with the following categories: : At any time you can see the list of used categories at [[Special:Categories]]. [[User:Mathieu|Mathieu]] 09:31, 11 September 2008 (UTC)
    8 KB (1,148 words) - 08:43, 24 February 2009
  • The following pages give useful information about the Rodin platform releases: ...lities leads to users' disappointment or can render the platform unusable. Special efforts will be made to identify the source of incompatibilities among plug
    9 KB (1,423 words) - 16:28, 14 November 2011
  • ** When inserting a template the special editing mode for the template is left to quickly, i.e., without user intera ** Text editor's preference pages now show up in the preference entry of the editor's context menu.
    6 KB (800 words) - 08:50, 19 August 2014
  • ...t<ref name="camille-arch-tech-report">http://cobra.cs.uni-duesseldorf.de/w/Special:Publication/Weigelt2012</ref> that analyzes the needs of the users and sugg :Two documentation pages have been created for the Rodin Editor:
    13 KB (1,991 words) - 20:57, 20 April 2012
  • The release note pages give useful information about the Rodin platform releases<ref>http://wiki.e ...ities have been identified, the concerned developing counterparts assigned special tasks and coordinated to solve issues as soon as possible. Incompatibilitie
    35 KB (5,228 words) - 10:12, 23 April 2012
  • ..., Automated Property Verification for Large Scale B Models, to appear in a special issue of FM'2009 in Formal Aspects of Computing, Springer-Verlag</ref> and * when printed in 9-point Courier ASCII the formula takes 32 A4 pages (the disjunction of the guards starts at page 6)
    16 KB (2,553 words) - 15:12, 27 January 2011
  • ...ry'' class which triggers the EMF generator to provide the collection as a special kind of list that can be accessed also as a map. If persistence is required The following pages contain a list of tasks for the development and use of the EMF framework:
    26 KB (3,961 words) - 13:04, 19 May 2020
  • ...ath></nowiki></code> gives <math>\text{abc}</math>. This does not work for special characters, they are ignored: ...table shows, sometimes similar results can be achieved in HTML (see [[Help:Special characters]]).
    65 KB (9,755 words) - 10:04, 5 September 2008
  • var edit = anyChild(o.pages).revisions[0]; // no more special cases to check --
    267 KB (34,206 words) - 10:58, 24 June 2008
  • var edit = anyChild(o.query.pages).revisions[0]; var edit = anyChild(o.pages).revisions[0];
    281 KB (35,750 words) - 15:33, 31 October 2008