search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
42 stars 24 forks source link

Ask before closing a proof whose branches are "used" in other proofs #3469

Open unp1 opened 2 months ago

unp1 commented 2 months ago

Please describe your proposal in a ONE sentence

Removing a proof might unexpectedly reopen branches on other proofs

Underlying problem

Removing a proof that is referred to by other proofs causes branches on the other proofs to be reopened

Usage Scenario

When removing a proof via Cmd + W (Ctrl + W) or "Abandon Proof", we should check whether the proof is referred to by branches of other proofs and provide the option to first "copy" the cached branches to the other proofs.