AnimB install

From Event-B
Revision as of 04:03, 12 October 2010 by Christophe (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, 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.