Difference between revisions of "AnimB install"
From Event-B
Jump to navigationJump to searchimported>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 |
||
(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]] |