Difference between pages "Main Page" and "AnimB install"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Jastram |
imported>Mathieu m (Small wording improvement) |
||
| Line 1: | Line 1: | ||
| − | + | Generally speaking, AnimB is installed and updated from within Rodin. | |
| − | |||
| − | + | There is two ways of installing AnimB: | |
| + | * for the first one (advised), you need to be connected on internet | ||
| + | * for the second one (troubles with proxy or firewall, ...), you download the update 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... |
| − | + | [[Image:step1.png|500px]] | |
| − | + | ---- | |
| − | + | Select the option for new feature.<br> | |
| − | [[ | + | [[Image:step2.png|400px]] |
| − | + | ===Adding the AnimB update site=== | |
| − | + | ===Install AnimB=== | |
| − | + | ==Install from local== | |
| − | == | + | ===Adding the AnimB update site=== |
| − | + | ===Install AnimB=== | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | == | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Revision as of 07:48, 30 June 2008
Generally speaking, AnimB is installed and updated from within Rodin.
There is two ways of installing AnimB:
- for the first one (advised), you need to be connected on internet
- for the second one (troubles with proxy or firewall, ...), you download the update site and install from local.
Contents
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.
