make undoing a command work better - discovered the variable "proof-forget-id-command"