Generic Instantiation Plug-in User Guide: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Asiehsalehi No edit summary |
imported>Asiehsalehi No edit summary |
||
| Line 7: | Line 7: | ||
=== Setup === | === Setup === | ||
The following steps will guide you through the setup process: | The following steps will guide you through the setup process: | ||
# Download Rodin for your platform from [Sourceforge]. | # Download Rodin for your platform from [http://wiki.event-b.org/index.php/Generic_Instantiation Sourceforge]. | ||
=== Update === | === Update === | ||
Revision as of 14:11, 17 December 2012
Introduction
The Generic Instantiation (GI) Feature plug-in allows to instantiate and reuse generic developments in other formal developments..
See the Generic Instantiation page for technical details.
Installing and Updating
Setup
The following steps will guide you through the setup process:
- Download Rodin for your platform from Sourceforge.
Update
The following steps will guide you through the update process:
- In Rodin open the preferences (Window -> Preferences or for Mac: Rodin -> Preferences)
- Find Install/Update -> Automatic Updates
- Select Automatically find new updates and notify me
As soon as Rodin finds a new update it will ask you if you would like to install it.
