AnimB install
From Event-B
Revision as of 14:06, 29 June 2008 by 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...)
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.