Search results

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

Page title matches

• Help:Preferences
  ...rences]] link in the upper right while logged in allows you to change your preferences. You will be presented with the User profile section, as well as a bar of t From your preferences you can select what language you would like the interface to be in. Only th
  7 KB (1,136 words) - 08:56, 5 July 2008

• File:Preferences menu.png Shows how to reach preferences. (863 × 576 (79 KB)) - 20:50, 30 April 2020

• File:Smt solvers preferences page.png Shows how to reach SMT Solvers preferences page. (869 × 417 (63 KB)) - 20:50, 30 April 2020

Page text matches

• File:Keyboard preferences.jpg RODIN Keyboard Preferences (939 × 635 (166 KB)) - 20:50, 30 April 2020

• File:SMT configurations.png SMT configurations preferences page (964 × 371 (72 KB)) - 20:49, 30 April 2020

• File:SMT translation.png SMT Translation preferences page (741 × 371 (51 KB)) - 20:50, 30 April 2020

• File:Preferences menu.png Shows how to reach preferences. (863 × 576 (79 KB)) - 20:50, 30 April 2020

• File:Smt solvers preferences page.png Shows how to reach SMT Solvers preferences page. (869 × 417 (63 KB)) - 20:50, 30 April 2020

• File:Rodin 3.2 colors.png Rodin Editor from Rodin 3.2 now handles color preferences. (1,570 × 880 (213 KB)) - 20:49, 30 April 2020

• 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
• Help:Special pages
  Some special pages depend on the [[Help:Preferences|preferences]] that have been set by a user, e.g. the number of titles which is displaye
  646 bytes (107 words) - 08:52, 5 July 2008
• 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
• Help:Contents
  * [[Help:Preferences|Preferences]]
  2 KB (200 words) - 14:03, 12 December 2008
• 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
• Help:Navigation
  ...of personal links, including ones to your user page and [[Help:Preferences|preferences]]. ...e "Hide minor edits" option that can be set in the user [[Help:Preferences|preferences]] applies, among other things, to ''Related Changes''.
  7 KB (1,106 words) - 23:22, 4 July 2008
• 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
• Help:Preferences
  ...rences]] link in the upper right while logged in allows you to change your preferences. You will be presented with the User profile section, as well as a bar of t From your preferences you can select what language you would like the interface to be in. Only th
  7 KB (1,136 words) - 08:56, 5 July 2008
• 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
• Help:Tracking changes
  ...y the "enhanced" view. Simply go to your [[Help:Preferences#Recent changes|Preferences]] and enable "Enhanced recent changes (JavaScript)"; this will make recent
  3 KB (473 words) - 23:36, 4 July 2008
• 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

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