Difference between revisions of "Generic Instantiation Plug-in User Guide"
From Event-B
Jump to navigationJump to searchimported>Asiehsalehi (Created page with "== Introduction == The Generic Instantiation (GI) Feature plug-in allows to instantiate and reuse generic developments in other formal developments.. See the [http://wiki.ev...") |
imported>Asiehsalehi |
||
| Line 2: | Line 2: | ||
The Generic Instantiation (GI) Feature plug-in allows to instantiate and reuse generic developments in other formal developments.. | The Generic Instantiation (GI) Feature plug-in allows to instantiate and reuse generic developments in other formal developments.. | ||
| − | See the [http://wiki.event-b.org/index.php/Generic_Instantiation] page for technical details. | + | See the [http://wiki.event-b.org/index.php/Generic_Instantiation Generic Instantiation] page for technical details. |
| + | == Installing and Updating == | ||
| + | === Setup === | ||
Revision as of 14:08, 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
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.
