diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 1216e337..996ffa65 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -795,6 +795,9 @@ assistant." ;; FIXME: note: removed optional 'relaxed' arg (defun proof-start-queue (start end alist) + "Begin processing a queue of commands in ALIST. +If START is non-nil, START and END are buffer positions in the +active scripting buffer for the queue region." (if start (proof-set-queue-endpoints start end)) (let (item) |