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.
Beside the default Eclipse, we require some additional plug-ins for Development:
GEF can be obtained from the Helios update site. Open the Plugin_installation Facility (Help | Install New Software), select the Helios Update site and search for GEF. You maight have to uncheck "Group items by category"
We strongly recommend to install and use the Findbugs plugin. Instructions can be found on the Findbugs Website.
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.