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

From Event-B
Revision as of 09:32, 18 August 2010 by imported>Tommy
Jump to navigationJump to 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.

Extend Rodin Tuto 1 1 File new plugin.png

Extend Rodin Tuto 1 2 NewPlug-inProject.png

Extend Rodin Tuto 1 3 NewPlug-inProject Content.png

Extend Rodin Tuto 1 4 ProjectExplorer1.png