Search results

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

• 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 20 | next 20) (20 | 50 | 100 | 250 | 500)