Difference between pages "Tasklist for EventB meta model development" and "Teamwork Requirements"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Mathieu |
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 ...) |
||
| Line 1: | Line 1: | ||
| − | + | ''' 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). | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
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).
