run all provers in blocking mode, even if a proof was already found -- this behavior is less confusing to the user
run all provers in blocking mode, even if a proof was already found -- this behavior is less confusing to the user

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle