AnimB install: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Christophe No edit summary |
imported>Christophe No edit summary |
||
(13 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
Generally speaking, AnimB is installed and updated from within Rodin | Generally speaking, AnimB is installed and updated from within Rodin. | ||
Begin the installation from the Rodin Help menu item : | Begin the installation from the Rodin Help menu item : | ||
*Help | *Help | ||
*Software | *Install New Software... | ||
[[Image: | Then select the AnimB update site | ||
[[Image:Step1.png|300px|center]]<br> | |||
---- | ---- | ||
Select the | |||
[[ | Select the AnimB feature and click on "Finish". | ||
The rest is fairly straightforward. | |||
[[Category:User documentation]] | |||
[[Category:AnimB]] | |||
Latest revision as of 04:03, 12 October 2010
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.