Rodin Plug-ins: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jastram No edit summary |
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]] |