[Emacs] "Goal proved." flashes by too quickly

[dnezam]

Occasionally, I run into situations where “Goal proved.” flashes by so quickly that I don't catch it. At the same time, the next goal that is shown is relatively similar to the one I was trying to prove, leading to a few moments of confusion.

It would be nice if this could somehow be avoided. Possible ideas, for example, one could print “Previous goal proved” after showing a new goal, instead of showing “Goal proved” before printing the goal.

[mn200]

Good idea.