Installing external plug-ins manually

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 {{{

}}}