Difference between revisions of "Generic Instantiation Plug-in User Guide"
From Event-B
Jump to navigationJump to searchimported>Asiehsalehi |
imported>Asiehsalehi |
||
| 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 [ | + | # Download Rodin for your platform from [sourceforge.net/projects/rodin-b-sharp Sourceforge]. |
=== Update === | === Update === | ||
Revision as of 14:13, 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.net/projects/rodin-b-sharp 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.
