• Navigation
  • Main Page
  • User Manual
  • Tutorials
  • Developer Manual
  • Benchmarks
  • Licence
  • Logic Calculator
• Special Pages
  • Recent changes
• User
  • Log in

Help

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

Revision as of 08:41, 11 November 2013 (view source) Michael Leuschel (talk | contribs) (→‎Obtaining the latest ProB binary) ← Older edit		Revision as of 08:41, 11 November 2013 (view source) Michael Leuschel (talk | contribs) (→‎Obtaining the latest ProB binary) Newer edit →
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|200px|center]]		[[File:GroovyConsoleUpgradeLatest.png|300px|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

• 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

Start Animating the Lift

Open HTML Visualization