Search results
From Event-B
Jump to navigationJump to searchCreate the page "Preferences" on this wiki! See also the search results found.
- It may also be used after changing the Auto Prover preferences, in order to check whether the new prover configuration allows to discharge3 KB (457 words) - 10:43, 18 March 2010
- ...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 shor8 KB (1,328 words) - 16:43, 3 June 2013
- ...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 you8 KB (1,249 words) - 13:09, 11 September 2020
- ...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
- == Advanced Preferences for Auto-tactics == Early version of Rodin provided preferences for automatic tactics that enabled to reorder them, but the ordering was lo21 KB (3,334 words) - 21:20, 20 April 2012
- * 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
- ...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
- ...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
- ...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
- ...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
- ...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
- ...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
- ...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 necessi11 KB (1,401 words) - 09:39, 8 November 2011
- ...owever, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).4 KB (532 words) - 06:51, 4 April 2023
- :'''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
- ...(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
- ...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
- ...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 you11 KB (1,542 words) - 08:35, 1 March 2012
- ...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
- ...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