Search results

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

• Code Generation Tutorial
  * Select the Edit tab.
  12 KB (1,741 words) - 08:25, 14 December 2010
• Rodin Platform 3.2 Release Notes
  :# edit rodin.ini, in the program argument part (before vmargs), add
  9 KB (1,317 words) - 11:09, 6 July 2017
• Generic Event-B EMF extensions
  (Note - the adapter factory is generated by the EMF genmodel in the edit plugin).
  13 KB (1,988 words) - 11:01, 30 May 2020
• Rodin Index Design
  Of course, the database will change when users edit their models. We therefore must define a policy for updating the index whe
  14 KB (2,204 words) - 12:58, 12 October 2009
• D45 Scalability
  ...another editor was to get a more modest and ergonomic way to visualize and edit the models. The models being presented through styled text pretty printing
  13 KB (1,991 words) - 20:57, 20 April 2012
• Rodin Platform 2.3 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  11 KB (1,401 words) - 09:39, 8 November 2011
• Rodin Platform 2.1 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  10 KB (1,277 words) - 13:45, 26 July 2011
• Rodin Platform 2.2 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  10 KB (1,354 words) - 13:31, 1 July 2011
• Rodin Platform 2.4 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  11 KB (1,542 words) - 08:35, 1 March 2012
• Rodin Platform 2.5 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  11 KB (1,478 words) - 17:32, 2 May 2012
• Modularisation Plug-in
  * Structuring large specifications: it is difficult to read and edit large model; there is also a limit to the size of model that the Platform m
  18 KB (2,784 words) - 10:57, 6 September 2010
• Rodin Platform 2.0 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  15 KB (2,008 words) - 15:34, 10 January 2011
• Event Model Decomposition
  ...on the one hand in the "Pretty Print" view, and on the other hand in the "Edit" view, for an extended event).
  43 KB (6,950 words) - 09:48, 27 October 2011

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