Difference between revisions of "Rodin Plug-ins"
From Event-B
Jump to navigationJump to searchimported>Jastram |
imported>Mathieu m (Link to Installing external plug-ins manually) |
||
| Line 10: | Line 10: | ||
* [[ReqsManagement]] - Support for Requirements Management | * [[ReqsManagement]] - Support for Requirements Management | ||
| + | |||
| + | == Tips & Tricks == | ||
| + | |||
| + | * [[Installing external plug-ins manually]] | ||
| + | |||
[[Category:User Documentation]] | [[Category:User Documentation]] | ||
[[Category:Plugin]] | [[Category:Plugin]] | ||
