also generate a drop safety proof for move --from remote
authorJoey Hess <joeyh@joeyh.name>
Fri, 9 Oct 2015 20:16:03 +0000 (16:16 -0400)
committerJoey Hess <joeyh@joeyh.name>
Fri, 9 Oct 2015 20:16:03 +0000 (16:16 -0400)
commite392ec112f2928680df0dead228d783e30473acf
tree63459c7b5e1a9b7615470a62280692b0abd3d5aa
parentb944da832b0433f3014396b2c7a53f1bd31f7c59
also generate a drop safety proof for move --from remote
Annex/NumCopies.hs
Command/Drop.hs
Command/Move.hs
doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn