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]] |