Skip to content

Optional timeout warning when waiting for the proof shell#516

Open
andyqhan wants to merge 12 commits into
ProofGeneral:masterfrom
andyqhan:master
Open

Optional timeout warning when waiting for the proof shell#516
andyqhan wants to merge 12 commits into
ProofGeneral:masterfrom
andyqhan:master

arm timer every command, not every region

1cc7e70
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs