Search results

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

• 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
• 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
• 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 (455 words) - 14:31, 30 May 2024
• 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
• Template:Dev News
  ...://wiki.event-b.org/index.php?title=Template:Dev_News/Archives&action=edit Edit Archives]
  5 KB (633 words) - 06:40, 4 April 2023
• Providing help for your plug-in (How to extend Rodin Tutorial)
  *The first option is to edit the .html files (html/maintopic.html, html/subtopic.html and html/toc.html
  4 KB (606 words) - 08:13, 15 October 2010
• Proof Obligation Commands
  ...using the auto prover, else there is no mark, meaning that the user had to edit the proof by hand (even partially).
  3 KB (457 words) - 10:43, 18 March 2010
• Team-based development
  ** Edit directly with an EMF based editor such as Rose
  3 KB (445 words) - 07:03, 1 August 2011
• Template:News/Archives
  * 11/03/09: Anyone can now [[Special:Userlogin|create their own account]] and edit this wiki
  3 KB (377 words) - 12:40, 30 May 2013
• Help:Preferences
  ...hat language you would like the interface to be in. Only the buttons like 'edit' and 'talk', in addition to a few pages in the sidebar, will be affected. T Settings to control editing pages, including the size of the edit box displayed and whether to watch pages that you have edited or created au
  7 KB (1,136 words) - 08:56, 5 July 2008
• DynamicContainer
  * Generate the code and edit code
  6 KB (506 words) - 12:00, 25 November 2009
• Help:Tables
  ...le table.''' If you click on an edit tab for a heading ''within'' a table, edit, and preview, the parent table will display erroneously broken because part
  10 KB (1,407 words) - 23:14, 4 July 2008
• D23 TEXT
  .... are stored in the Rodin database, and there is no classical text file to edit the models. ...he text representation posed a number of challenges. Users must be able to edit both in the text editor and the structural editor. However, the text editor
  8 KB (1,257 words) - 15:56, 28 January 2010
• Extending the Rodin Pretty Print Page (How to extend Rodin Tutorial)
  Edit this class as following :
  4 KB (567 words) - 12:27, 25 August 2010

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