2018-11-14 23:19:21 UTC
thanks for all the answers to my previous question
sometimes I find coq gets into a state where when I apply a tactic, the
new goal and hypotheses don't automatically get displayed. How do I
reset it to show these after each tactic invocation?
(typing Show. works fine, but it's a nuisance to do it for each tactic)