experiment for #188 and #429 -- insert show after error in silent mode#467

Open

hendriktews wants to merge 4 commits intoProofGeneral:masterfrom hendriktews:issue-188-pr-429

+101-4

Commits on May 27, 2020

New hook for early prompt/output analyzis.
Matafou
committed

Commits on May 28, 2020

add proof-priority-action-list

hendriktews
authored and
Matafou
committed
insert show proof command on error

hendriktews
authored and
Matafou
committed
Show command sent only once and only in proof mode.
Matafou
committed