Search results

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

• Model Critic
  [[Category:User documentation]]
  1 KB (176 words) - 07:06, 1 August 2011
• ADVANCE D3.2 Language extension
  ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (proof extensions). The Theory plug-in provides, among other things, a user-friendly mechanism to extend the Event-B mathematical language as well as t
  4 KB (642 words) - 08:33, 29 June 2012
• Development Rules
  .../sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-user Rodin user] [http://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-co === Documentation (not discussed ===
  4 KB (671 words) - 12:45, 12 August 2009
• D32 Teamwork
  ...llocated to which sub-component. For the share variable decomposition, the user selects which events with be part of which sub-component. The rest of the s = Available Documentation =
  5 KB (780 words) - 11:22, 21 December 2010
• Documentation Overhaul DoW
  ...We will also provide templates as needed, to simplify the creation of the documentation. The Reference Section will be the most comprehensive part of the documentation. It will consist of a number of chapters. At this point we see at least t
  9 KB (1,421 words) - 12:41, 8 December 2011
• D23 General Platform Maintenance
  Beyond that, any user registered on SourceForge may record any encountered bug on the Rodin platf = Available Documentation =
  7 KB (963 words) - 11:30, 27 January 2010
• D32 General Platform Maintenance
  * Documentation
  9 KB (1,423 words) - 16:28, 14 November 2011
• Proof Obligation Names (Rodin User Manual)
  [[Category:User documentation|Proof Obligation Names]] [[Category:User manual|Proof Obligation Names]]
  4 KB (575 words) - 15:09, 15 September 2011
• Feature Modelling Tool
  [[User:Gondal|Ali Gondal]] at [[Southampton]] is working on the [[Feature Modellin [[Category:User documentation]]
  2 KB (320 words) - 07:06, 1 August 2011
• Rose (Structured) Editor
  ...of the element. This contains details which are otherwise hidden from the user. ...ditor view shows all the hidden details that are not normally visible to a user. (The tree shows the model element selected in the outline view, i.e. not a
  3 KB (507 words) - 07:02, 1 August 2011
• B2Latex
  ...ated in the ''latex'' directory can be modified to change the style of the documentation. Since B2Latex 0.6.1, this file won't be overwritten if already exists, so no user modifications are accidentally lost.
  4 KB (718 words) - 17:22, 8 July 2016
• D32 Mathematical Extensions
  ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (prover extensions). ...ies are deployed to the current workspace (i.e., Workspace Scope), and the user can use any defined extensions in any project within the workspace.
  7 KB (1,095 words) - 14:40, 21 December 2010
• Proof Purger Interface
  The purpose of the proof purger is to allow the user to delete obsolete proofs. [[Category:User documentation]]
  2 KB (400 words) - 10:20, 27 October 2011
• ADVANCE D3.2 Improvement of automated proof
  ...nd parameterized tactics to discharge some specific proof obligations. The user can furthermore share and backup these defined tactics using the provided i ...n the tactic profile editor as well as an import/export feature. Indeed, a user that elaborates a good profile for a certain proof pattern is now able to s
  4 KB (596 words) - 13:21, 18 July 2012
• Transformation patterns
  ...up for running the transformations, and provides a simple library handling user input of Event-B elements such as machines, events, variables etc. ...psilonBook.pdf The Epsilon Book]. The full list of operations for handling user input and modifying Event-B elements can be found in [[Transformation_patte
  7 KB (1,011 words) - 13:08, 1 July 2013
• D45 Introduction
  ...ourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform</ref>. The documentation of the DEPLOY tools is available from two sites: ...enhanced proving experience, and proving ability with the introduction of user customizable and parametrizable tactic profiles.
  3 KB (500 words) - 09:18, 23 April 2012
• SMT 1.4 Performance Results
  [[Category:User documentation]]
  2 KB (281 words) - 15:57, 11 September 2017
• Building Rodin Headless
  * documentation is up to date for /org.rodinp.platform/html/root.html * generated documentation matches latest wiki sources for <tt>org.eventb.keyboard/doc</tt>
  6 KB (928 words) - 15:50, 11 September 2020
• Rodin Editor
  Please have a look also at the [[Rodin Editor User Guide]]. ...click, or where my text caret is.''' The caret position, also set when the user left-clicks in the editor, is the base for component modifications:
  4 KB (744 words) - 17:20, 3 June 2013
• Rodin Developer Support
  === Event-B User Interface === The Event-B User Interface of the Roding Platform has two major components that are concerne
  8 KB (1,260 words) - 12:45, 30 July 2015

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