Skip to content

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

Closed
hendriktews wants to merge 4 commits into
ProofGeneral:masterfrom
hendriktews:issue-188-pr-429
Closed

experiment for #188 and #429 -- insert show after error in silent mode#467
hendriktews wants to merge 4 commits into
ProofGeneral:masterfrom
hendriktews:issue-188-pr-429

Show command sent only once and only in proof mode.

e88df8a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs