Difference between revisions of "Rodin Plug-ins"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (Link to Installing external plug-ins manually) |
imported>Jastram |
||
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