Teamwork Requirements

From Event-B
Revision as of 13:39, 21 October 2009 by imported>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 ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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 the menu is only available on Files).

Retrieved from ‘https://wiki.event-b.org/index.php?title=Teamwork_Requirements&oldid=10120’