Search results

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

• User:YGU/SMT Solvers Plug-in
  As to reach the SMT solvers page, open the ''Preferences'' window: ''Window > Preferences''. ...T solvers configurations page, open the ''Preferences'' window: ''Window > Preferences''.
  15 KB (2,212 words) - 15:13, 4 April 2012
• 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
• User:Tommy/Collections/Release Notes Template
  ...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...,
  4 KB (652 words) - 15:59, 31 October 2012
• 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
• Help:Images
  |Frameless<br />Like thumbnail, respect user preferences for image width but without border and no right float.
  4 KB (555 words) - 11:17, 10 July 2008
• 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

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