Search results

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

• UML-B release notes for 1.1.0
  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
• Rodin Platform 2.3 Release Notes
  ...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
• Rodin Platform 2.2 Release Notes
  ...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
• Rodin Platform 3.0 Release Notes
  ...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
• Rodin Platform 2.1 Release Notes
  ...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
• Rodin Platform 1.3 Release Notes
  ...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
• Rodin Platform 1.1 Release Notes
  ...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