Difference between revisions of "AnimB install"

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
 
(14 intermediate revisions by 3 users not shown)
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
 
*the second (troubles with proxy or firewall, ...), you download the upadte site and install in local.
 
  
==Install from internet==
+
Begin the installation from the Rodin Help menu item :
===Adding the AnimB update site===
+
*Help
===Install AnimB===
+
*Install New Software...
==Install in local==
+
 
===Adding the AnimB update site===
+
Then select the AnimB update site  
===Install AnimB===
+
[[Image:Step1.png|300px|center]]<br>
 +
----
 +
 
 +
Select the AnimB feature and click on "Finish".
 +
The rest is fairly straightforward.
 +
 
 +
[[Category:User documentation]]
 +
[[Category:AnimB]]

Latest revision as of 04:03, 12 October 2010

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

Step1.png



Select the AnimB feature and click on "Finish". The rest is fairly straightforward.