Installing external plug-ins manually
From Event-B
Revision as of 13:53, 13 June 2008 by imported>Laurent (New page: Although it is preferred to install additional plug-ins into the Rodin platform using the '''Update Manager''' of Eclipse, this might not always be practical. In this case, a manner to in...)
Although it is preferred to install additional plug-ins into the Rodin platform using the Update Manager of Eclipse, this might not always be practical. In this case, a manner to install these plug-ins is to emulate either manually or using ad-hoc scripts the operations normally performed by the Update Manager.
This manual installation of plug-ins is described below, using the example of the B4free provers.
Finding the Update Site =
The first thing to do is to find the update site from which the plug-ins are downloaded by the Rodin platform. For the default site, one can find their list in file {{{
}}}