Search results

Create the page "Index (Rodin Tutorial)" on this wiki! See also the search results found.

• Building Your Rodin Plugin Headless
  ...the way to package your plugin using PDE from the sources available on the Rodin SVN repository. [[Category:Developer documentation|*Index]]
  247 bytes (33 words) - 14:02, 24 October 2011
• Plug-in Tutorial
  '''Tutorial for the extension of the Rodin platform by plugin addition''' This tutorial is problem solving oriented.
  4 KB (487 words) - 14:27, 5 September 2013
• Creating a new plug-in using eclipse (How to extend Rodin Tutorial)
  ...ial)|Introduction]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]] | Next= [[Extend_Rodin_database_(How_to_extend_Rodin_Tutorial)|Extending ...r with plug-in building may skip this part and go to the next page of this tutorial.
  3 KB (445 words) - 14:48, 23 August 2010
• Providing help for your plug-in (How to extend Rodin Tutorial)
  ...he static checker]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}} Launch the Rodin platform and select Help > Help Contents to view the available Eclipse Help
  4 KB (606 words) - 08:13, 15 October 2010
• Introduction (How to extend Rodin Tutorial)
  {{Navigation|Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]] | Next= [[Creating_a_new_plugin_using_eclipse_(How_to_extend_Rodin_Tutor In this tutorial, we will focus on the extension of the Rodin platform by adding plug-ins. This mechanism inherits from Eclipse extension
  5 KB (825 words) - 17:03, 16 October 2010
• Extending the Rodin Pretty Print Page (How to extend Rodin Tutorial)
  ...)|Providing help]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}} ...l)|Providing help]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}}
  4 KB (567 words) - 12:27, 25 August 2010
• Documentation Overhaul DoW
  === WP1-4: Tutorial outline (20mh) === ...er requires a lot of diligence. Also, we will perform user tests with the tutorial, once created.
  9 KB (1,421 words) - 12:41, 8 December 2011
• Extending the Rodin database (How to extend Rodin Tutorial)
  ...structured editor]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}} ...extension, please refer to: [[Extending_the_Rodin_Database| Extending the Rodin Database]].
  9 KB (1,496 words) - 17:44, 4 September 2013
• Extending the Rodin Structured Editor (How to extend Rodin Tutorial)
  ...e Event-B explorer]]| Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}} ..., see [[Extend_Rodin_database_(How_to_extend_Rodin_Tutorial)|Extending the Rodin Database]]) to manipulate this attribute; this class should implements the
  10 KB (1,503 words) - 13:34, 5 September 2013
• Extending the Rodin Event-B Explorer (How to extend Rodin Tutorial)
  ...Pretty Print Page]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}} ...extension point <tt>org.eclipse.ui.navigator</tt>), thus we will not use a Rodin extension point but directly Eclipse extension points.
  10 KB (1,424 words) - 07:15, 7 September 2010
• Past Developments
  This page sum up the developments recently done around or for the [[Rodin Platform]], which are integrated or compatibles with the last platform revi This feature is now part of Rodin v0.9.0.
  6 KB (915 words) - 16:57, 27 February 2014
• Rodin Developer Support
  The Developer Support provides resources for developing plug-ins for the Rodin Platform. === 1. Building against a version of Rodin ===
  8 KB (1,260 words) - 12:45, 30 July 2015
• Extending the Proof Obligation Generator(How to extend Rodin Tutorial)
  ...he static checker]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]] | Next=[[Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)|Gene ...can be useful for the reader to understand well the previous part of this tutorial, as we will not repeat all the ideas shared by the both processes.
  13 KB (1,774 words) - 13:57, 5 September 2013
• Extending the Proof Obligation Generator (How to extend Rodin Tutorial)
  ...d_Rodin_Tutorial)]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]] | Next= }} ...can be useful for the reader to understand well the previous part of this tutorial, as we will not repeat all the ideas shared by the both processes.
  13 KB (1,755 words) - 07:19, 7 September 2010
• Adding Reasoners(How to extend Rodin Tutorial)
  ...proof obligations]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}} Rodin support several provers. Some are embedded such as NewPP, or the sequent pr
  13 KB (2,012 words) - 15:43, 21 September 2021
• Extending the Static Checker (How to extend Rodin Tutorial)
  ...| Providing help]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]] | Next= [[Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_T Additional information is available [http://wiki.event-b.org/index.php/Extending_the_Static_Checker here].
  18 KB (2,534 words) - 13:53, 5 September 2013