Search results

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

• Rodin Platform 2.7.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="c
  12 KB (1,324 words) - 13:37, 3 June 2013
• Rodin Platform 2.8.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="c
  13 KB (1,455 words) - 13:43, 28 November 2014
• Rodin Platform 3.1.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.1 || <span style="c
  13 KB (1,452 words) - 09:38, 18 June 2015
• Rodin Platform 3.5.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.1 ||<span style="co
  9 KB (1,244 words) - 13:52, 1 April 2022
• Rodin Platform 3.2.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.1 ||<span style="co
  13 KB (1,514 words) - 14:38, 6 July 2017
• Rodin Platform 3.3.0 External Plug-ins
  | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.1 ||<span style="co
  13 KB (1,514 words) - 07:16, 2 September 2017
• Extending the Rodin Event-B Explorer (How to extend Rodin Tutorial)
  In <tt>getImage(Object element)</tt>, we return the icon registered for constants, if the element is an instance of <tt>IBound</tt>
  10 KB (1,424 words) - 07:15, 7 September 2010
• UML-B Tutorial
  ''Note that the icon, top right, shows that you are in the UML-B perspective''
  11 KB (1,713 words) - 20:07, 18 April 2010
• Rodin Platform 1.1 Release Notes
  :Changed color of 'pending' icon for undischarged POs from red to orange/brown.
  9 KB (1,298 words) - 10:06, 28 July 2010
• Rodin Proving Perspective
  By default, this view is a fast view. A button (identified by the view's icon) is then available at the bottom left of the workbench, to show up this vie
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  By default, this view is a fast view. A button (identified by the view's icon) is then available at the bottom left of the workbench, to show up this vie
  27 KB (4,348 words) - 18:45, 28 September 2011

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