AnimB install

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

Step1.png


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