Search results

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

• Keyboard Release History
  * Version 2.2.0: Add a Preferences Page for changing the font. * Version 2.2.1: Update Help Contents for Preferences Page and Font.
  751 bytes (91 words) - 10:20, 18 February 2010
• Using Rodin as Target Platform
  In Eclipse, open the Preferences pop-up window by clicking {{Menu|Window>Preferences}}. Then, select {{Menu|Plug-in Development>Target Platform}} in the tree, a ..., in Eclipse, open the Preferences pop-up window by clicking {{Menu|Window>Preferences}}. Then, select {{Menu|Plug-in Development>Target Platform}} in the tree, a
  4 KB (678 words) - 05:58, 24 October 2014
• SMT Plug-in Performance
  ├─ preferences ;preferences
  4 KB (652 words) - 08:48, 6 June 2014
• New Proof Rules
  * Automatically: The rule can be chosen from the Preferences of the Sequent Prover to be run as a part of the Automatic Prover or as a p ...o that it can be applied automatically. User can choose the rule from the Preferences of the Sequent Prover, so that it can be run as a part of the Automatic Pro
  4 KB (738 words) - 12:53, 12 August 2009
• Generic Instantiation Plug-in User Guide
  ...the preferences (''Window'' -> ''Preferences'' or for Mac: ''Rodin'' -> ''Preferences'') ...tion wizard, which will perform the generic instantiation according to the preferences. It is available:
  5 KB (720 words) - 15:20, 4 July 2013
• Team-based development
  ...L client adapter it may not work for models and you may need to change the preferences to SVNKit) being recognised by SVN as having uncommitted changes. Then open Preferences-Team-Ignored Resources and add a pattern to exclude this file type.
  3 KB (445 words) - 07:03, 1 August 2011
• Past Developments
  ==== Preferences for the automatic tactics ==== ...-b.org/current/html/preferences.html#preferences_for_the_automatic_tactics Preferences for the automatic tactics}}
  6 KB (915 words) - 16:57, 27 February 2014
• Rodin Keyboard User Guide
  ...nt contains the Unicode characters for the mathematical language. From the Preferences page, you can choose the font, the style and the size for the text area. More information about the Preferences page can be found [[#Preferences | here]].
  14 KB (1,930 words) - 12:58, 21 July 2010
• UML-B release notes for 2.1.0
  * make diagram preferences particular to each diagram type
  1 KB (164 words) - 19:23, 19 November 2010
• SMT Solvers Plug-in
  To display the SMT solvers page, open the ''Preferences'' window: ''Window > Preferences'', and unfold the SMT section in order to display the ''Configurations'' pa To display the SMT solvers page, open the Preferences window: Window > Preferences, and unfold the SMT section in order to display the Configurations page.
  17 KB (2,538 words) - 15:41, 2 October 2017
• Camille Editor
  ...the preferences (''Window'' -> ''Preferences'' or for Mac: ''Rodin'' -> ''Preferences'')
  6 KB (945 words) - 12:22, 27 January 2015
• Rodin Platform 3.2 Release Notes
  * '''Appearance preferences are now handled by the Rodin Editor''' ...ppear from the Rodin color and Fonts preferences accessible via ''Window > Preferences > General > Appearance > Colors and Fonts''
  9 KB (1,317 words) - 11:09, 6 July 2017
• CamilleX User Guide
  ...ace text file encoding to '''UTF-8'''. This can be updated under the Rodin Preferences: General/Workspace then in the ''Text file encoding'' section, select Other
  2 KB (281 words) - 12:31, 9 March 2023
• Rodin Platform 3.6 Release Notes
  ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you
  4 KB (640 words) - 14:09, 25 May 2021
• Rodin Platform 3.7 Release Notes
  ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you
  5 KB (703 words) - 14:37, 29 April 2022
• Decomposition Plug-in User Guide
  ...the preferences (''Window'' -> ''Preferences'' or for Mac: ''Rodin'' -> ''Preferences'') ...ecomposition wizard, which will perform the decomposition according to the preferences. It is available:
  17 KB (2,521 words) - 15:25, 4 July 2013
• Rodin Platform 3.4 Release Notes
  ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import...,
  5 KB (758 words) - 16:28, 7 March 2018
• Rodin Platform 3.8 Release Notes
  ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you
  5 KB (775 words) - 12:00, 4 April 2023
• Sequent Prover Developer Guide
  ...this tactic will not be a default POM tactic and the users must change the preferences to enable this tactic. ...his tactic will not be a default post tactic and the users must change the preferences to enable this tactic.
  17 KB (2,378 words) - 09:48, 17 June 2010
• Isabelle for Rodin
  Back to Rodin, go to the Preferences dialog. Navigate to the "Isabelle for Rodin" section. More precisely, it may be possible, but it is unclear how to set the preferences.
  9 KB (1,317 words) - 10:07, 29 April 2013
• Proof Obligation Commands
  It may also be used after changing the Auto Prover preferences, in order to check whether the new prover configuration allows to discharge
  3 KB (457 words) - 10:43, 18 March 2010
• Rodin Editor User Guide
  ...ou don't like these shortcuts, you can modify them by setting your own key preferences. To do so, go to Window > Preferences and then General > Key. A table appears were you can find and edit the shor
  8 KB (1,328 words) - 16:43, 3 June 2013
• Rodin Platform 3.5 Release Notes
  ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you
  8 KB (1,249 words) - 13:09, 11 September 2020
• Rodin Platform 2.8 Release Notes
  ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import...,
  6 KB (899 words) - 16:25, 9 July 2014
• D45 Prover Enhancement
  == Advanced Preferences for Auto-tactics == Early version of Rodin provided preferences for automatic tactics that enabled to reorder them, but the ordering was lo
  21 KB (3,334 words) - 21:20, 20 April 2012
• Developer FAQ
  * Click {{Button|Window > Preferences...}}, type <tt>target</tt> in the search box in the upper-left corner and s ...fined target platform to activate it and click {{Button|OK}} in the {{Menu|Preferences}} window.
  15 KB (2,372 words) - 16:29, 19 May 2015
• Rodin Platform 3.3 Release Notes
  ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import...,
  7 KB (1,079 words) - 13:54, 12 July 2017
• Rodin Proving Perspective
  ...indow manually for more control, and a '''drop down menu (D)''' to set the preferences of the view up. The drop down menu (D) is accessible to set some preferences over the searched hypotheses :
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  ...indow manually for more control, and a '''drop down menu (D)''' to set the preferences of the view up. The drop down menu (D) is accessible to set some preferences over the searched hypotheses :
  27 KB (4,348 words) - 18:45, 28 September 2011
• EMF Compare Editor Investigation
  ...file association with *.bum to the EMF compare editor. (you can do this in preferences but it is better to do it by a content type extension)
  4 KB (623 words) - 19:48, 24 September 2009
• Rodin Platform 3.1 Release Notes
  ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import...,
  6 KB (909 words) - 13:48, 17 December 2014
• Rodin Platform 2.5 Release Notes
  ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import...,
  11 KB (1,478 words) - 17:32, 2 May 2012
• Rodin Platform 2.3 Release Notes
  ...n'' of tactics and profiles (see [http://handbook.event-b.org/current/html/preferences.html] at the bottom of the page). ...es from Rodin 2.2.x in Rodin 2.3) but '''NOT forward compatible''': tactic preferences from Rodin 2.3 cannot be reused with Rodin less than 2.3. Hence the necessi
  11 KB (1,401 words) - 09:39, 8 November 2011
• Rodin Platform Releases
  ...owever, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).
  4 KB (532 words) - 06:51, 4 April 2023
• Rodin Platform 2.1 Release Notes
  :'''New mechanism for automatic tactics preferences.''' It is now possible to define profiles (e.g. ordered lists) of tactics t ...[[Preferences_for_the_automatic_tactics | the page on the work done about Preferences for the automatic tactics]]
  10 KB (1,277 words) - 13:45, 26 July 2011
• Introduction (How to extend Rodin Tutorial)
  ...(See [http://www.eclipse.org/articles/Article-Preferences/preferences.htm Preferences in the Eclipse Workbench UI]).
  5 KB (825 words) - 17:03, 16 October 2010
• Rodin Platform 3.0 Release Notes
  ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import...,
  8 KB (1,195 words) - 16:35, 9 July 2014
• Rodin Platform 2.4 Release Notes
  ...his feature is however disabled by default, you can enable it by "Window > Preferences > Event-B > Sequent Prover > Simplify complete proofs when saving" ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you
  11 KB (1,542 words) - 08:35, 1 March 2012
• Rodin Platform 2.6 Release Notes
  ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import...,
  10 KB (1,328 words) - 16:14, 3 August 2012
• Rodin Platform 2.7 Release Notes
  ...rience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you ...ts/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import...,
  10 KB (1,301 words) - 07:11, 29 August 2013
• 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