Creating a new plug-in using eclipse (How to extend Rodin Tutorial)
From Event-B
Revision as of 08:12, 18 August 2010 by imported>Tommy (Creation of the page "Creating our plugin")
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.