Search results

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

• D45 Scalability
  ....de/w/Special:Publication/Weigelt2012</ref> that analyzes the needs of the users and suggests a number of possible solutions. In the FP7 project ADVANCE, a
  13 KB (1,991 words) - 20:57, 20 April 2012
• Rodin Platform 2.3 Release Notes
  : Mac users may have to use Local... then point to archive root directory, in case the
  11 KB (1,401 words) - 09:39, 8 November 2011
• Current Developments
  ...then we are going to release a few testing releases (beta) for interested users. Find detailed information on the page [[Text Editor|TextEditor]].
  12 KB (1,869 words) - 16:35, 18 March 2014
• Rodin Platform 2.2 Release Notes
  : Mac users may have to use Local... then point to archive root directory, in case the
  10 KB (1,354 words) - 13:31, 1 July 2011
• Rodin Platform 1.2 Release Notes
  ...sible to mark an Event-B machine/context as generated, in order to prevent users from inadvertently modifying it.
  11 KB (1,488 words) - 10:06, 28 July 2010
• SMT Solvers Plug-in
  The SMT plug-in allows users to use SMT solvers within Rodin.
  17 KB (2,538 words) - 15:41, 2 October 2017
• Rodin Platform 2.4 Release Notes
  : Mac users may have to use Local... then point to archive root directory, in case the
  11 KB (1,542 words) - 08:35, 1 March 2012
• Rodin Platform 1.3 Release Notes
  ...ns to developers for correcting bugs, and is intended to be copy/pasted by users when posting bug reports.
  12 KB (1,642 words) - 13:21, 28 July 2010
• Modularisation Plug-in
  Module interface allows module users to invoke module operations and observe module external
  18 KB (2,784 words) - 10:57, 6 September 2010
• Constrained Dynamic Parser
  * The returned parsing errors shall be meaningful for users (e.g., the "Missing parenthesis" message may help to solve the problem when
  27 KB (3,967 words) - 13:21, 15 February 2010

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