Difference between revisions of "Teamwork Requirements"
From Event-B
Jump to navigationJump to searchimported>Colin (New page: ''' Requirements for an Event-B Teamwork Plug-in. == Navigator pop-up menu == A pop-up menu should be provided in the Event-B navigator for Machine and Context model elements. (currently ...) |
(No difference)
|
Revision as of 13:39, 21 October 2009
Requirements for an Event-B Teamwork Plug-in.
A pop-up menu should be provided in the Event-B navigator for Machine and Context model elements. (currently the menu is only available on Files).
