Rodin Handbook


4.2.2 How do I install external plugins without using the Eclipse Update Manager?

Although it is recommended that you install additional plugins into the Rodin platform using the Eclipse Update Manager, this might not always be practical. In this case, you can install these plugins by emulating the operations normally performed by the Update Manager either manually or by using ad-hoc scripts.

The manual installation of plugins is described in Installing external plugins manually.