Search results

From Event-B
Jump to navigationJump to search
Results 1 – 21 of 50
Advanced search

Search in namespaces:

View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • * 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
  • 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
  • ├─ preferences ;preferences ...
    4 KB (652 words) - 08:48, 6 June 2014
  • * 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
  • ...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
  • ...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
  • ==== 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
  • ...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
  • * make diagram preferences particular to each diagram type ...
    1 KB (164 words) - 19:23, 19 November 2010
  • 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
  • ...the preferences (''Window'' -> ''Preferences'' or for Mac: ''Rodin'' -> ''Preferences'') ...
    6 KB (945 words) - 12:22, 27 January 2015
  • * '''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
  • ...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
  • ...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
  • ...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
  • ...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
  • ...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
  • ...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
  • ...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
  • 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 | ) (20 | 50 | 100 | 250 | 500)