Search results

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

• Extending the Rodin Structured Editor (How to extend Rodin Tutorial)
  # Set up a link to edit expressions of the Bound element in the UI (Bound elements carry one expres # Set up a link to edit comments of the Bound element in the UI (Bound elements carry one comment [
  10 KB (1,503 words) - 13:34, 5 September 2013
• Handbook Content Migration
  ! scope="col" | Do not edit! This content has been migrated to Subversion.
  1 KB (240 words) - 11:42, 30 June 2011
• Help:Talk pages
  ...accessed by clicking the ''Discussion'' tab at the top of the page. Simply edit the page as normal to add your comment. ...'main' namespace (See [[Help:namespaces]]) As with any wiki page, you can edit it, link to it, and view the editing history.
  6 KB (1,088 words) - 08:57, 5 July 2008
• Auto-Completion Design
  == Proposed names depending on edit context ==
  1,001 bytes (119 words) - 14:53, 21 January 2010
• Help:Sections
  *the automatic edit summary on editing a section is ambiguous ...ance of a page. See [[Help:Template#Composite_pages]]. This way a separate edit history is in effect provided for the section. Also this allows [[help:watc
  23 KB (3,699 words) - 14:10, 12 September 2008
• Generating source bundles for inclusion in a target platform configuration
  ...''export-RodinCore-src-jars.xml'' file, then "Run As" > "Ant Build..." to edit the launch configuration.
  2 KB (237 words) - 14:58, 10 March 2011
• Rodin Editor User Guide
  ...ble, please do not generate files while having some Rodin Editor open, and edit only one model per project at once.''' You've just created an axiom that you can edit to give the constant k a type.
  8 KB (1,328 words) - 16:43, 3 June 2013
• Layout improvements in the event-B editor
  ...ect and discuss possible improvements of the layout in the event-B editor (edit tab).
  1 KB (215 words) - 12:08, 12 August 2009
• Scenarios for Team-based Development
  ...-edit-unlock cycle (MS SourceSafe, Perforce) and those following an update-edit-merge cycle (Subversion, CVS). These two approaches are not compatible. T
  4 KB (670 words) - 14:38, 29 January 2009
• Help:Managing files
  ...Description Page' within the wiki (even if it isn't an image). You should edit this page to provide more information about the file. For example, many wik
  2 KB (321 words) - 23:19, 4 July 2008
• Extending the Rodin database (How to extend Rodin Tutorial)
  A new extension <tt>attributeType</tt> has been added. We will edit it to add our "probabilistic" attribute.<br> ...n empty relationship element has been created (see picture below). We will edit it.<br />
  9 KB (1,496 words) - 17:44, 4 September 2013
• Tasking Event-B Tutorial
  ...ines that are required for code generation. However, it is not possible to edit the machines since they are machine generated, and therefore this is prohib * open the composed machine editor. Open the INCLUDES edit feature.
  11 KB (1,714 words) - 12:41, 2 September 2013
• User:YGU/SMT Solvers Plug-in
  ...edit all the informations given when adding a connection by clicking the ''Edit'' button. The bundled solvers connections cannot be edited. ...formations given when setting a new solver configuration by clicking the ''Edit'' button. The bundled configurations cannot be edited.
  15 KB (2,212 words) - 15:13, 4 April 2012
• Theory Plug-in Developer Documentation
  ...on is not available, or if another version of Rodin is should be targeted, edit the <code>.target</code> file accordingly
  3 KB (394 words) - 07:15, 15 July 2021
• SMT Solvers Plug-in
  ...ing the ''Edit...'' button after having selected the solver information to edit in the list.<br/> ...formations given when setting a new solver configuration by clicking the ''Edit'' button. The bundled configurations cannot be edited.
  17 KB (2,538 words) - 15:41, 2 October 2017
• Talk:Scenarios for Team-based Development
  ;lock-edit-unlock cycle :In an update-edit-merge cycle, granularity is not a problem. In fact, while merging, the whol
  5 KB (798 words) - 09:19, 2 March 2010
• Event-B:Village pump
  <!-- or clicking the signature icon in the edit toolbar. --> [{{SERVER}}{{localurl:Event-B:Village pump|action=edit&section=new}} <small>Post a new message</small>]
  8 KB (1,148 words) - 08:43, 24 February 2009
• Proof Obligation Names (Rodin User Manual)
  ! scope="col" | Do not edit! This content has been migrated to Subversion.
  4 KB (575 words) - 15:09, 15 September 2011
• Requirements Tutorial
  ...e "Requiremnts documents" tab by right-clicking on an entry and selecting "Edit Parser Settings" from the context menu. ...e configured (right-click on the entry of the requirements map and select "Edit parser settings")
  7 KB (995 words) - 15:44, 25 February 2009
• Help:Redirects
  ...can view the history of the page before the redirect was put in place. You edit the page if the redirect is wrong, and you can revert to an older version t
  3 KB (544 words) - 08:59, 5 July 2008

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