Rodin Plug-ins: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Jastram
No edit summary
imported>Mathieu
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]]

Revision as of 13:35, 18 July 2008

Rodin Plug-in Documentation

Tips & Tricks