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

Step1.png


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’