Search results

Create the page "Moving a page" on this wiki! See also the search results found.

Page title matches

• Help:Moving a page
  ...click 'Move Page'. Normally you would want to leave "Move associated talk page" option ticked. If you move page "A" to a new title "B", this operation will do the following:
  2 KB (417 words) - 23:19, 4 July 2008

Page text matches

• Help:Categories
  To add an article to a category put the following at the end of the page you are editing... ...to add it to. Any number of category tags may be added to the page - the page will be listed in all of them.
  3 KB (579 words) - 23:15, 4 July 2008
• Help:Contents
  * [[Help:Starting a new page|Starting a new page]] * [[Help:User page|User pages]]
  2 KB (200 words) - 14:03, 12 December 2008
• Help:Moving a page
  ...click 'Move Page'. Normally you would want to leave "Move associated talk page" option ticked. If you move page "A" to a new title "B", this operation will do the following:
  2 KB (417 words) - 23:19, 4 July 2008
• Help:Redirects
  ...used to forward users from one page name to another. They can be useful if a particular article is referred to by multiple names, or has alternative pun ==Creating a redirect==
  3 KB (544 words) - 08:59, 5 July 2008
• Help:Deleting a page
  == When to delete a page : == ...o not match the purposes of the wiki. In other situations you might prefer a less extreme course of action, for example...
  3 KB (519 words) - 08:59, 5 July 2008
• Help:User page
  ...king changes]]). You can also link to your user page within text of a wiki page, which is mainly useful on [[Help:Talk pages|talk pages]] when you sign you == What to put on your user page ==
  3 KB (510 words) - 08:58, 5 July 2008
• Help:Editing pages
  It's very easy to edit the contents of a wiki. It only takes a few clicks. ...ck the '''edit''' [[Help:Navigation#Page Tabs|page tab]] at the top of the page.
  2 KB (425 words) - 22:40, 4 July 2008
• Rose (Structured) Editor
  ''This page is under development'' *There is a separate tab for each collection owned by the element. This provides an alt
  3 KB (507 words) - 07:02, 1 August 2011
• Camille Editor
  A preliminary version of Camille for Rodin 3.1 is available at the nightly up Although we will try to announce these updates on this site too, it is a lot easier if you setup Rodin to let you know when an update is available.
  6 KB (945 words) - 12:22, 27 January 2015
• MBT plugin
  ## Enter a name e.g. ''MBT for Event-B Plugin''. The MBT for Event-B plugin iteratively constructs a subset of the ''state space'' of an Event-B model (which is essentially an
  9 KB (1,434 words) - 06:45, 6 April 2012
• Rodin Platform 3.2 Release Notes
  Rodin 3.2 is mainly a corrective version of the Rodin platform which solves stability and usabili Here is a short overview of the newly implemented or fixed features.
  9 KB (1,317 words) - 11:09, 6 July 2017
• Rodin Proving Perspective
  ...ving Perspective and its use. If the Proving Perspective is not visible as a tab on the top right-hand corner of the main interface, the user can switch ...cussion that follows we look at each of these views individually. Below is a screenshot of the Proving Perspective:
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  ...ving Perspective and its use. If the Proving Perspective is not visible as a tab on the top right-hand corner of the main interface, the user can switch ...cussion that follows we look at each of these views individually. Below is a screenshot of the Proving Perspective:
  27 KB (4,348 words) - 18:45, 28 September 2011
• Mode/FT Views
  ...odels. Fault tolerance part adds additional structural checks and reserves a place to trace FT requirements. ...nection with the model. The tool statically checks the views and generates a number of proof obligations.
  21 KB (3,472 words) - 20:32, 26 June 2015
• Rodin Platform 2.0 Release Notes
  ::- It is now possible to display statistics for a project without expanding it first. ...delayed as concurrency occurs. The "Save" action will then be scheduled as a further task to be performed, and the user will have to wait or cancel the
  15 KB (2,008 words) - 15:34, 10 January 2011
• Help:Maths
  [[w:MediaWiki|MediaWiki]] uses a subset of '''[[w:TeX|TeX]] markup''', including some extensions from [[w:La ...X for the actual [[w:Rendering (computer graphics)|render]]ing. Thus, only a limited part of the full TeX language is supported; see below for details.
  65 KB (9,755 words) - 10:04, 5 September 2008
• User:Mathieu/popups.js
  // ** please discuss on the talk page before editing ** cache: {}, // page and image cache
  267 KB (34,206 words) - 10:58, 24 June 2008
• User:Mathieu/popup.js
  // It adds a new mode that uses api.php instead of query.php // ** please discuss on the talk page before editing **
  281 KB (35,750 words) - 15:33, 31 October 2008