AnimB install

From Event-B
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.