- The current version of the BPRoVe plugin is available in the Eclipse Marketplace at https://marketplace.eclipse.org/content/bprove.
- BProVe update site https://pros.unicam.it/BProVe_update_site/
Installation
Step 1. From the menu choose: Help / Install New Software...![]()
Step 2. Click the Add button
Step 3. In the Add Repository dialog that appears, paste the BProVe update site https://pros.unicam.it/BProVe_update_site/ click the OK
Step 4. Uncheck Group items by category
Step 5. Click Next Accept the license and follow the procedure