Search results

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

• Extending the Rodin database (How to extend Rodin Tutorial)
  ...nnaly add comments automatically to the created class, if you set them in "Preferences > Java > Code Style > Code Templates",<br>
  9 KB (1,496 words) - 17:44, 4 September 2013
• D32 General Platform Maintenance
  | WP1-4 partners|| Preferences for the automatic tactics <ref>http://sourceforge.net/tracker/index.php?fun
  9 KB (1,423 words) - 16:28, 14 November 2011
• Rodin Platform 2.0 Release Notes
  ...r settings to be compliant with level 1.6. This can be done in '''Window > Preferences > Java > Compiler'''. :To check this, go to '''Window > Preferences > Java > Installed JREs''' and check that the currently used JRE actually p
  15 KB (2,008 words) - 15:34, 10 January 2011
• Rodin Proof Tactics
  ...of the tactic. This will be the description appeared in the RODIN Platform preferences. ...uto-tactic preference or the [[The Proving Perspective (Rodin User Manual)#Preferences for the Post-tactic|post-tactic preference]].
  57 KB (6,150 words) - 17:25, 21 February 2012
• Adding Reasoners(How to extend Rodin Tutorial)
  ...en in ''Event-B category > Sequent Prover'', select the "Auto/Post Tactic" preferences and create a new profile and add the ''Double Inequality Tactic'' to it.<br
  13 KB (2,012 words) - 15:43, 21 September 2021
• D45 Code Generation
  ...th AdaCore's GPS workbench. Eventually this could be enabled/disabled in a preferences dialog box. The Tasking Event-B to Event-B translator is now properly integ
  12 KB (1,818 words) - 08:31, 20 April 2012
• Current Developments
  ...din AST. Animation is working and the user can now set a limited number of preferences.
  12 KB (1,869 words) - 16:35, 18 March 2014
• Rodin Platform 2.2 Release Notes
  ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you
  10 KB (1,354 words) - 13:31, 1 July 2011
• Rodin Platform 1.2 Release Notes
  ...nding'''. A preference has been added for section expanding (See "Window > Preferences > Event-B > Modelling UI"). More precisely, this new option allows to speci :The method "org.osgi.service.prefs.Preferences.flush" is used instead of the deprecated <tt>org.eclipse.core.runtime.Plugi
  11 KB (1,488 words) - 10:06, 28 July 2010
• Code Generation Activity
  ...th AdaCore's GPS workbench. Eventually this could be enabled/disabled in a preferences dialog box.
  17 KB (2,568 words) - 09:03, 19 October 2015

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