Search results

Create the page "User Documentation" on this wiki! See also the search results found.

• How to create Rodin projects programmatically
  ...not strictly necessary but it can be used to distinguish projects that the user has created from ones that have been created programmatically). ...(true); // mark the project as derived (this could be used to distinguish user editable projects
  6 KB (784 words) - 15:19, 21 August 2023
• Google Summer of Code 2009
  * Prepare basic documentation for users. ...the Rodin platform uses self-made automatic theorem provers to support the user in proving.
  10 KB (1,629 words) - 12:50, 12 August 2009
• D45 General Platform Maintenance
  ...orm_Maintenance#Available_Documentation</ref> and the SourceForge<ref name=documentation>http://wiki.event-b.org/index.php/D45_General_Platform_Maintenance#Availabl :*A Handbook to complete and enhance the existing documentation.
  35 KB (5,228 words) - 10:12, 23 April 2012
• Changes to the Mathematical Language of Event-B
  [[Category:User documentation]]
  3 KB (469 words) - 12:38, 17 April 2009
• SMT Plug-in Performance
  ...> packaged with the Rodin platform. This makes the tests closer to the end-user experience, and therefore more meaningful. [[Category:Developer documentation]]
  4 KB (652 words) - 08:48, 6 June 2014
• TextEditor EBNF
  [[Category:User documentation]]
  4 KB (559 words) - 12:43, 12 August 2009
• Rodin Platform 3.5.0 External Plug-ins
  ...[mailto:lvoisin@users.sourceforge.net Laurent Voisin] || generates a Latex documentation of the Event-B | [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.3.1 || <span style="color:#8B4513"> not checke
  9 KB (1,244 words) - 13:52, 1 April 2022
• Original UML-B
  [[Category:User documentation]]
  4 KB (535 words) - 14:58, 10 December 2012
• OldUML-B
  [[Category:User documentation]]
  4 KB (535 words) - 14:56, 10 December 2012
• SMT Solvers Plug-in Developer Support
  ''For user support, see [[SMT Solvers Plug-in]]'' [[Category:Developer documentation]]
  4 KB (691 words) - 14:34, 19 May 2014
• D23 Pattern Plug-in
  ...teps as possible automatically or at least supports the developer wherever user interaction is required. = Available Documentation =
  6 KB (1,034 words) - 14:43, 27 January 2010
• Arithmetic Rewrite Rules
  [[Category:User documentation|The Proving Perspective]] [[Category:User manual|The Proving Perspective]]
  14 KB (2,054 words) - 15:11, 3 June 2024
• Shared Event Composition Release History
  [[Category:User documentation]]
  4 KB (550 words) - 10:39, 25 November 2014
• Isabelle for Rodin
  * various simplifications of the user interaction * documentation
  9 KB (1,317 words) - 10:07, 29 April 2013
• Requirements Tutorial
  This tutorial walks the user through using the Systerel Requirements Plug-In for Rodin. This Plug-In al [[Category:User documentation]]
  7 KB (995 words) - 15:44, 25 February 2009
• Tasking Event-B Overview for D32
  ...ling component that is generated programmatically, at the direction of the user. The Tasking Development consists of a number of machines (and perhaps asso [[Category:User documentation]]
  7 KB (1,009 words) - 10:59, 26 January 2011
• Refactoring Framework
  # User selects element to be renamed at the Event-B Explorer # User introduces new element name in the first page of the wizard. Then click in
  11 KB (1,773 words) - 07:41, 12 January 2016
• D32 UML-B
  :#* Report to user if translation didn't proceed due to model validator - previously, it was n :#* Preference for line routing style for each diagram type - allows the user to choose whether to use rectilinear or oblique line routing for each diagr
  9 KB (1,382 words) - 11:05, 27 January 2011
• Generic Instantiation Plug-in User Guide
  [[Category:User documentation]]
  5 KB (720 words) - 15:20, 4 July 2013
• Inference Rules
  ...Any modification to this page shall be announced on the [[#Mailing_lists |User]] mailing list!</font> ...\;\; \finite\,(T)}{\textbf{H} \;\;\vdash \;\; \finite\,(S)}</math> || the user has to write the set corresponding to <math>T</math> in the editing area of
  36 KB (5,611 words) - 15:10, 3 June 2024

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