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 |
||
| Line 2: | Line 2: | ||
There two separated ways to install AnimB: | There two separated ways to install AnimB: | ||
*the first one (advised), you need to be connected on internet | *the first one (advised), you need to be connected on internet | ||
*the second (troubles with proxy or firewall, ...), you download the upadte site and install | *the second (troubles with proxy or firewall, ...), you download the upadte site and install from local. | ||
==Install from internet== | ==Install from internet== | ||
===Begin the installation=== | |||
Begin the installation from the Rodin Help menu item : | |||
*Help | |||
*Software Updates | |||
*Find and Install... | |||
[[Image:step1.png|500px]] | |||
---- | |||
Select the option for new feature.<br> | |||
[[Image:step2.png|400px]] | |||
===Adding the AnimB update site=== | ===Adding the AnimB update site=== | ||
===Install AnimB=== | ===Install AnimB=== | ||
==Install | ==Install from local== | ||
===Adding the AnimB update site=== | ===Adding the AnimB update site=== | ||
===Install AnimB=== | ===Install AnimB=== | ||
Revision as of 21:27, 29 June 2008
Generally speaking, AnimB is installed and updated from within Rodin.
There two separated ways to install AnimB:
- the first one (advised), you need to be connected on internet
- the second (troubles with proxy or firewall, ...), you download the upadte site and install from local.
Install from internet
Begin the installation
Begin the installation from the Rodin Help menu item :
- Help
- Software Updates
- Find and Install...
Select the option for new feature.
