Creating a new plug-in using eclipse (How to extend Rodin Tutorial)

From Event-B
Revision as of 08:12, 18 August 2010 by Tommy (talk | contribs) (Creation of the page "Creating our plugin")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

In this part

  • We will explain how to use Eclipse to easily create a plugin package structure for our implementation. Developers which are familiar with plugin building may skip this part and go to the next page of this tutorial.