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

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