Prob2-advance-release: Difference between revisions
No edit summary |
No edit summary |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{DISPLAYTITLE:ProB 2.0 Advance Release}} | {{DISPLAYTITLE:ProB 2.0 Advance Release}} | ||
ProB 2.0 for Rodin 3.1 can be installed from the update site located at: | |||
http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/releases/advance-final/ | |||
The installation follows the normal Eclipse installation procedure. Choose 'Install New Software...' from Rodin's Help menu. | |||
Enter the update site into the textfield and hit enter. The result is shown in the following screenshot: | |||
[[file:install_prob2.png|center||700px]] | |||
Latest revision as of 16:02, 12 January 2015
ProB 2.0 for Rodin 3.1 can be installed from the update site located at:
http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/releases/advance-final/
The installation follows the normal Eclipse installation procedure. Choose 'Install New Software...' from Rodin's Help menu.
Enter the update site into the textfield and hit enter. The result is shown in the following screenshot:
