- 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