Difference between pages "Modularisation Plug-in Composition Semantics" and "Modularisation Plug-in Installation Instructions"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Mathieu m (Category:Plugin) |
imported>Mathieu m (Category:Plugin) |
||
Line 1: | Line 1: | ||
− | + | The plug-in works with the platform version 1.1RC1 or higher. | |
− | + | The modularisation plug-in is installed as follows: | |
− | + | * Go to Help/Software Updates | |
+ | * Go into Available software tab | ||
+ | * Click Add Site | ||
+ | ** the site url is: http://iliasov.org/modplugin | ||
+ | * In the software list window, select the modularisation plug-in and hit Install | ||
+ | * Go through the dialogs and confirm platform restart at the end | ||
+ | |||
+ | Now you should have the plug-in up and running. One thing that would indicate a successful plug-in installation is the "I" icon on the top of the project explorer view. This is a shortcut for adding new interface components. | ||
− | + | Please note that this an initial version of plug-in and many required features are not supported. Very little testing has been done so it is very likely to have a substantial number of bugs. | |
+ | |||
+ | Please see [[Modularisation Plug-in Release Notes]] for version-specific notes and known limitations. | ||
− | |||
[[Category:Plugin]] | [[Category:Plugin]] |
Latest revision as of 06:14, 12 October 2009
The plug-in works with the platform version 1.1RC1 or higher.
The modularisation plug-in is installed as follows:
- Go to Help/Software Updates
- Go into Available software tab
- Click Add Site
- the site url is: http://iliasov.org/modplugin
- In the software list window, select the modularisation plug-in and hit Install
- Go through the dialogs and confirm platform restart at the end
Now you should have the plug-in up and running. One thing that would indicate a successful plug-in installation is the "I" icon on the top of the project explorer view. This is a shortcut for adding new interface components.
Please note that this an initial version of plug-in and many required features are not supported. Very little testing has been done so it is very likely to have a substantial number of bugs.
Please see Modularisation Plug-in Release Notes for version-specific notes and known limitations.