Difference between pages "Teamwork Requirements" and "File:MBT for Event-B Logo Large.png"
From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Felix-loesch |
|
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).
| |
− |
| |
− | == Merging of proof files ==
| |
− | It would be great if two people work independtly on different proofs that the discharged proof obligations could be merged. A first version of
| |
− | proof merging could restrict the use to cases in which the machine / contexts have not changed.
| |
Latest revision as of 20:50, 30 April 2020