Generic Instantiation Plug-in User Guide: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>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 No edit summary |
||
| 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.
