AnimB install

From Event-B
Revision as of 04:03, 12 October 2010 by imported>Christophe
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Generally speaking, AnimB is installed and updated from within Rodin.

Begin the installation from the Rodin Help menu item :

  • Help
  • Install New Software...

Then select the AnimB update site


Select the AnimB feature and click on "Finish". The rest is fairly straightforward.

Retrieved from ‘https://wiki.event-b.org/index.php?title=AnimB_install&oldid=736’