Installing the Eclipse Plug in

1. Download and Install Eclipse

2. Install the Eclipse Plug-in

   1. In the Eclipse menu choose Help > Install New Software...
   2. Enter the URL https://aprove-developers.github.io/aprove-eclipse-updatesite/
   3. Press Enter
   4. Select the AProVE Plug-in
   5. Click Next
   6. Click Next again
   7. Read and accept the license agreement
   8. Click Finish
   9. Agree to install software that contains unsigned content
   10. Agree to restart Eclipse