diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 19:15:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 19:15:13 +0000 |
| commit | d3e89e8ee15d28fa0c3f42eb059eb7feb748fa6b (patch) | |
| tree | c7d79ea660be4bdcf1851f575557cb93b8faeda3 /generic/pg-vars.el | |
| parent | 2aa3f62aeb888206c337035f10cd9fb58abb67cc (diff) | |
Autosend: don't autosend after undoing; add proof-shell-last-queuemode to support this.
Diffstat (limited to 'generic/pg-vars.el')
| -rw-r--r-- | generic/pg-vars.el | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/generic/pg-vars.el b/generic/pg-vars.el index 1bf31ffa..e86fde61 100644 --- a/generic/pg-vars.el +++ b/generic/pg-vars.el @@ -83,7 +83,15 @@ has been set.") (defvar proof-shell-busy nil "A lock indicating that the proof shell is processing. When this is non-nil, `proof-shell-ready-prover' will give -an error.") +an error. + +When processing commands from a buffer for script management, +this will be set to either 'advancing or 'retracting to indicate +the direction of movement.") + +(defvar proof-shell-last-queuemode nil + "Flag indicating last direction of proof queue. +This is actually the last non-nil value of `proof-shell-busy'.") (defvar proof-included-files-list nil "List of files currently included in proof process. |