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.
