> The problem with names like forget, remove, annihilate or delete is > that they never tell you precisely what the command does. They could > apply almost equally well to unrecord or unpull, or even to rollback. How about trying to be explicit then? darcs remove-patch darcs delete-patch -- Jean