ProB 2.0 within Rodin and a HTML Visualization Example: Difference between revisions
| Line 11: | Line 11: | ||
== Import the Lift Project == | == Import the Lift Project == | ||
Select the Rodin "Import…" menu command and import <tt>Lift.zip</tt>. | |||
== Start Animating the Lift == | == Start Animating the Lift == | ||
== Open HTML Visualization == | == Open HTML Visualization == | ||
Revision as of 08:45, 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".
Import the Lift Project
Select the Rodin "Import…" menu command and import Lift.zip.