AnimB install

From Event-B
Revision as of 21:27, 29 June 2008 by imported>Christophe
Jump to navigationJump to search

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...

Step1.png


Select the option for new feature.
Step2.png

Adding the AnimB update site

Install AnimB

Install from local

Adding the AnimB update site

Install AnimB