No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
== Downloading == | == Downloading == | ||
Please download a fresh Eclipse Helios (3.6) for RCP Developer. We will assume that you work with a fresh copy of Eclipse in the following description. | Please download a fresh Eclipse Helios (3.6) for RCP Developer. We will assume that you work with a fresh copy of Eclipse in the following description. After downloading unzip it to a place of your choice. | ||
== Setup == | == Setup == |
This page describes how to set up a development environment for ProB.
Please download a fresh Eclipse Helios (3.6) for RCP Developer. We will assume that you work with a fresh copy of Eclipse in the following description. After downloading unzip it to a place of your choice.
Beside the default Eclipse, we require some additional plug-ins for Development:
We have prepared an Eclipse Team Set that contains all subprojects, i.e. ProB core, B-Motion Studio, AnimationScript, Disprover and the standalone Version. It also includes the Rodin release used for ProB.