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
 
(Maintenance script uploaded File:MBT for Event-B Logo Large.png)
 
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