Search results

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

• 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

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