 |
 |
 |
Theory Plug-in User Manual |  |
 |
|
|
|
|
Theory Plug-in User Manual | |
|
|
The installation or update for the Theory plug-in is available under the main Rodin Update site (http://rodin-b-sharp.sourceforge.net/updates) under the category "Modelling Extensions". Like always, after the installation, restarting Rodin is recommended.
For more details, see http://wiki.event-b.org/index.php/Theory_News_and_Support
|
|
|
Theory Plug-in User Manual | |
|
|