No edit summary |
|||
| Line 21: | Line 21: | ||
*[[ProB 2.0 within Rodin and a HTML Visualization Example]] | *[[ProB 2.0 within Rodin and a HTML Visualization Example]] | ||
== Download == | |||
Nightly builds of ProB 2 for Rodin 3 can be obtained from within Rodin using the update site [You can download ProB 2.0 for Rodin 3.x using the update site [http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/ http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/]. | |||
Nightly builds of ProB 2 for Rodin 3 can be obtained from within Rodin using the update site [You can download ProB 2.0 for Rodin 3.x using the update site http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/.