Search results

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

• Modularisation Plug-in Installation Instructions
  ...One thing that would indicate a successful plug-in installation is the "I" icon on the top of the project explorer view. This is a shortcut for adding new
  942 bytes (148 words) - 06:14, 12 October 2009
• New Tactic Providers
  ...rder to have a different icon and tooltip for each application in the left icon list. If '''null''' is returned, then default data from extension point is ...{class|IPredicateApplication}} if applicable to predicate, even if default icon and tooltip from extension point should be used (methods returning '''null'
  7 KB (746 words) - 13:00, 12 October 2009
• ProR
  ...order to see the created traces, you have to click on the small "triangle" icon in the tool bar menu. ...the “suspect” icon, the user can mark the trace as “revalidated’’ and the icon will be removed.
  6 KB (915 words) - 10:04, 21 June 2013
• Records Extension
  ...th the same icon as a carrier set. otherwise it is displayed with the same icon as a constant.
  8 KB (1,347 words) - 13:07, 21 July 2010
• Rodin Platform 2.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| ?? || <span style="colo
  4 KB (475 words) - 18:40, 22 February 2011
• Extending the Rodin Structured Editor (How to extend Rodin Tutorial)
  ...to the element (we have created here a folder 'icons' containing a default icon).
  10 KB (1,503 words) - 13:34, 5 September 2013
• Proof Obligation Commands
  ...er on each PO: it is marked with a 'A' at the upper right corner of the PO icon if it was entirely discharged using the auto prover, else there is no mark,
  3 KB (457 words) - 10:43, 18 March 2010
• Rodin Platform 2.1 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="c
  6 KB (746 words) - 16:17, 24 January 2012
• Current Proof Tree Node in UI
  ...ew. Then, after platform startup, the view is empty. If one clicks on its icon to make it visible, the view gets displayed but without contents if the cur
  4 KB (683 words) - 18:33, 16 December 2011
• Extending the project explorer
  icon CDATA #IMPLIED * icon - A plugin-relative path to an icon for use when displaying the metadata about the content extension to the use
  20 KB (2,461 words) - 16:33, 24 May 2010
• Original UML-B
  ...eatures (e.g. Window - open perspective - other). You should see a dolphin icon in the top right corner when you are in the UML-B perspective. Create a new
  4 KB (535 words) - 14:58, 10 December 2012
• OldUML-B
  ...eatures (e.g. Window - open perspective - other). You should see a dolphin icon in the top right corner when you are in the UML-B perspective. Create a new
  4 KB (535 words) - 14:56, 10 December 2012
• Rodin Platform 2.2 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="c
  7 KB (942 words) - 14:03, 3 October 2011
• Rodin Platform 3.4.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.1 ||<span style="co
  6 KB (855 words) - 16:00, 12 December 2019
• Rodin Platform 2.3 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="c
  8 KB (1,053 words) - 09:10, 4 January 2012
• Rodin Platform 2.6.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="c
  8 KB (1,105 words) - 07:29, 17 August 2012
• Rodin Platform 2.4 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="c
  8 KB (1,106 words) - 08:35, 17 May 2012
• Rodin Plug-ins
  * [[Image:Project diagram icon s.png]] [[Project Diagram]] displays the diagram of a Rodin project.
  5 KB (757 words) - 16:19, 13 February 2020
• Rodin Platform 2.5.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="c
  8 KB (1,138 words) - 14:32, 23 November 2012
• Rodin Platform 3.0.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="c
  13 KB (1,415 words) - 07:56, 28 May 2015

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