From 07f579c1f99d814f7ea5b33a6e0dab0b43ca0b7f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 10 Nov 1999 11:20:49 +0000 Subject: Moved utility function proof-files-to-buffers to proof.el. Fixed local var --- generic/proof-shell.el | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) (limited to 'generic') 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 -- cgit v1.2.3