diff options
| -rw-r--r-- | coq/coq.el | 2 | ||||
| -rw-r--r-- | generic/proof-shell.el | 8 |
2 files changed, 2 insertions, 8 deletions
@@ -22,6 +22,8 @@ (require 'etags) (unless (proof-try-require 'smie) (defvar smie-indent-basic nil)) ; smie + + (defvar queueitems nil) ; dynamic scope in p-s-extend-queue-hook (defvar coq-time-commands nil) ; defpacustom (defvar coq-auto-compile-vos nil) ; defpacustom (defvar coq-use-editing-holes nil) ; defpacustom 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. |