Search results

From Event-B
Jump to navigationJump to search

Page title matches

  • == 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

Page text matches

  • * [[Help:Starting a new page|Starting a new page]] * [[Help:User page|User pages]]
    2 KB (200 words) - 14:03, 12 December 2008
  • ...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
  • == 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
  • ...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
  • ...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
  • 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
  • Add preference page for line routing style equals rectilinear or oblique. ...has no child diagram resulted in the parent diagram being opened. This was a nuisance and has been disabled.
    1 KB (191 words) - 09:50, 8 June 2010
  • A page can be divided into '''sections''', using the section heading syntax. ...a side (<nowiki>=text here=</nowiki>); this causes a title the size of the page name, which is taken care of automatically.
    23 KB (3,699 words) - 14:10, 12 September 2008
  • ...urations are encountered. It helps knowing which plug-ins are missing when a build fails. ...ror''' is produced by the builder when no known configuration is found for a file.
    11 KB (1,401 words) - 09:39, 8 November 2011
  • ...s no more contain a reasoner id, but instead a reference to a IPRReasoner, a newly introduced proof element type. See [[Proof Dependencies and Reasoner ...for those whose behaviour evolves during a session. A signature represents a single reasoner behaviour. When present, the signature is stored in proofs.
    10 KB (1,354 words) - 13:31, 1 July 2011
  • ...reasoners that try to match predicates (HYP, HYP_OR, CNTR, GEN_MP) now use a fuzzy algorithm which succeeds more often. This increases the rate of autom ...ly simulated before). This avoids strange behaviors that could happen when a proof obligation changes several times.
    8 KB (1,195 words) - 16:35, 9 July 2014
  • ...t-tactic|How to use it]] and [[Preferences_for_the_automatic_tactics | the page on the work done about Preferences for the automatic tactics]] ** Only a '''32-bit''' version of the Rodin platform is provided for '''PC'''s
    10 KB (1,277 words) - 13:45, 26 July 2011
  • ...ified creation of new projects and event-B components'''. Whatever the way a "New" action is triggered ("File > New" in menubar, button in the toolbar, ...ct subfolders and their contents are now considered non Rodin contents. As a consequence, models placed in subfolders are not checked for errors and no
    12 KB (1,642 words) - 13:21, 28 July 2010
  • ...keyboard.symbols</tt> to define associations between an ASCII sequence and a symbol. It avoids hard-coding anything. :The reasoners are now tagged with a version, which will evolve along with their behavior.
    9 KB (1,298 words) - 10:06, 28 July 2010