diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 3c80c790..a0ad6f3f 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -792,7 +792,8 @@ This function expects 'proof-shell-delayed-output' to be a cons cell of the form ('insert . TXT) or ('analyse . TXT). See the documentation for `proof-shell-delayed-output' for further details." (let ((ins (car proof-shell-delayed-output)) - (str (cdr proof-shell-delayed-output))) + (str (cdr proof-shell-delayed-output)) + pos) (cond ;; ;; 1. Text to be inserted in response buffer. @@ -1231,13 +1232,6 @@ arrive." 'proof-eager-annotation-face)) (proof-shell-message str)))) -(defun proof-files-to-buffers (filenames) - "Converts a list of FILENAMES into a list of BUFFERS." - (if (null filenames) nil - (let* ((buffer (proof-file-to-buffer (car filenames))) - (rest (proof-files-to-buffers (cdr filenames)))) - (if buffer (cons buffer rest) rest)))) - (defun proof-shell-process-urgent-message (message) "Analyse urgent MESSAGE for various cases. Included file, retracted file, cleared response buffer, or |