Installing external plug-ins manually
From Event-B
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 {{{
}}}
