diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index dcd36a6c..069694e7 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -923,14 +923,6 @@ This function calls `proof-add-to-queue'." (proof-add-to-queue queueitems queuemode)) -(defvar queueitems - "Local variable of `proof-extend-queue' and `proof-shell-extend-queue-hook'. -This only locally used variable communicates the items that are -about to be placed into the `proof-action-list' queue into the -hook functions in `proof-shell-extend-queue-hook'. This is the -price to pay for using a normal hook.") - - ;;;###autoload (defun proof-extend-queue (end queueitems) "Extend the current queue with QUEUEITEMS, queue end END. |