ProB 2.0 within Rodin and a HTML Visualization Example: Difference between revisions

Line 8: Line 8:
Open a <em>Groovy Console</em> and type <tt>upgrade "latest"<tt>.
Open a <em>Groovy Console</em> and type <tt>upgrade "latest"<tt>.


[[File:GroovyConsoleUpgradeLatest.png|600px|center]]
[[File:GroovyConsoleUpgradeLatest.png|200px|center]]


== Import the Lift Project ==
== Import the Lift Project ==

Revision as of 08:41, 11 November 2013

Installing ProB 2.0 from Rodin 2.7 or later

Obtaining the latest ProB binary

Open a Groovy Console and type upgrade "latest".

GroovyConsoleUpgradeLatest.png

Import the Lift Project

Start Animating the Lift

Open HTML Visualization