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

<prev: Introduction

>next: Extend the database

^up: How to extend Rodin Tutorial (Index)

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.

<prev: Introduction

>next: Extend the database

^up: How to extend Rodin Tutorial (Index)