AnimB install: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m Small wording improvement
imported>Christophe
No edit summary
 
(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



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