AnimB install: Difference between revisions

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
No edit summary
 
(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



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