AnimB install: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Christophe New page: Generally speaking, AnimB is installed and updated from within Rodin.<br> There two separated ways to install AnimB: *the first one (advised), you need to be connected on internet *the sec... |
imported>Christophe No edit summary |
||
(14 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 : | |||
*Help | |||
*Install New Software... | |||
Then select the AnimB update site | |||
[[Image:Step1.png|300px|center]]<br> | |||
---- | |||
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.