AnimB install: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Christophe
No edit summary
imported>Mathieu
m Small wording improvement
Line 1: Line 1:
Generally speaking, AnimB is installed and updated from within Rodin.<br>
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
There is two ways of installing AnimB:
*the second (troubles with proxy or firewall, ...), you download the upadte site and install from local.
* 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==
==Install from internet==

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.

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.

Adding the AnimB update site

Install AnimB

Install from local

Adding the AnimB update site

Install AnimB