Difference between revisions of "AnimB install"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (Small wording improvement) |
imported>Christophe |
||
(12 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]] | |
− |