Rodin Plug-ins: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m Link to Installing external plug-ins manually |
imported>Jastram No edit summary |
||
Line 9: | Line 9: | ||
* [[AnimB]] | * [[AnimB]] | ||
* [[ReqsManagement]] - Support for Requirements Management | * [[ReqsManagement]], [[Requirements Tutorial]] - Support for Requirements Management | ||
== Tips & Tricks == | == Tips & Tricks == |
Revision as of 08:39, 31 July 2008
Rodin Plug-in Documentation
- ReqsManagement, Requirements Tutorial - Support for Requirements Management