Difference between revisions of "AnimB install"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (Small wording improvement)
imported>Christophe
 
(12 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 
Generally speaking, AnimB is installed and updated from within Rodin.
 
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 :
 
Begin the installation from the Rodin Help menu item :
 
*Help
 
*Help
*Software Updates
+
*Install New Software...
*Find and Install...
+
 
[[Image:step1.png|500px]]
+
Then select the AnimB update site
 +
[[Image:Step1.png|300px|center]]<br>
 
----
 
----
Select the option for new feature.<br>
+
 
[[Image:step2.png|400px]]
+
Select the AnimB feature and click on "Finish".  
===Adding the AnimB update site===
+
The rest is fairly straightforward.
===Install AnimB===
+
 
==Install from local==
+
[[Category:User documentation]]
===Adding the AnimB update site===
+
[[Category:AnimB]]
===Install 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.