Rodin Handbook
This work is sponsored by the Deploy Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
User Manual for Rodin v.2.3 |  |
 |
 |
4.2.2 How do I install external plug-ins without using Eclipse Update Manager?
Although it is recommended that you install additional plug-ins into the Rodin platform using the Update Manager of Eclipse, this might not always be practical. In this case, you can install these plug-ins by emulating the operations normally performed by the Update Manager either manually or by using ad-hoc scripts.
The manual installation of plug-ins is described in Installing external plug-ins manually.
|
|
|
|
|
|