Let `done` and friends fail when the proofmode goal is an evar.
This fixes issue #182 (closed) and is an alternative for !139 (closed).
See https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/139#note_26680 for my motivation.
This fixes issue #182 (closed) and is an alternative for !139 (closed).
See https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/139#note_26680 for my motivation.