ProB 2.0 within Rodin and a HTML Visualization Example: Difference between revisions
(Created page with ' == Installing ProB 2.0 from Rodin 2.7 or later == * Enter the update site <tt> http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/</tt> and install the ProB 2.0…') |
|||
| Line 6: | Line 6: | ||
== Obtaining the latest ProB binary == | == Obtaining the latest ProB binary == | ||
Open a | Open a <em>Groovy Console</em> and type <tt>upgrade "latest"<tt>. | ||
[[File:GroovyConsoleUpgradeLatest.png|600px|center]] | |||
== Import the Lift Project == | == Import the Lift Project == | ||
Revision as of 08:40, 11 November 2013
Installing ProB 2.0 from Rodin 2.7 or later
- Enter the update site http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/ and install the ProB 2.0 plugin
Obtaining the latest ProB binary
Open a Groovy Console and type upgrade "latest".
