diff options
Diffstat (limited to 'generic/pg-vars.el')
| -rw-r--r-- | generic/pg-vars.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/pg-vars.el b/generic/pg-vars.el index 1f22c629..cc788ca8 100644 --- a/generic/pg-vars.el +++ b/generic/pg-vars.el @@ -220,6 +220,11 @@ in `proof-shell-clear-state'.") "Contains the dependencies of the last theorem. A list of strings. Set in `proof-shell-process-urgent-message'.") +(defvar proof-autosend-running nil + "Flag indicating we are sending commands to the prover automatically. +Used in `proof-autosend-loop' and inspected in other places to inhibit +user interaction.") + ;; ;; Not variables at all: global constants (were in proof-config) |