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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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

Adding the AnimB update site

Install AnimB

Install in local

Adding the AnimB update site

Install AnimB

Retrieved from ‘https://wiki.event-b.org/index.php?title=AnimB_install&oldid=721’