diff options
| author | David Aspinall | 1998-10-23 13:26:23 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-23 13:26:23 +0000 |
| commit | d178a6d4b947f7da41bfb59e3ece5c73960e981e (patch) | |
| tree | 95d4d4af58e498fcc1e55d0c3387668a6772d7fd /generic/proof-shell.el | |
| parent | a8711708eeaa17fe8d1a4d2bf8081f02010e282d (diff) | |
Moved proof-file-to-buffer to proof-script.el
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index de92f427..fb4a5e2e 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -671,17 +671,6 @@ arrive." (font-lock-append-text-property start (point-max) 'face face) (insert "\n")))) -(defun proof-file-to-buffer (filename) - "Converts a FILENAME into a buffer name" - (let* ((buffers (buffer-list)) - (pos - (position (file-truename filename) - (mapcar 'proof-file-truename - (mapcar 'buffer-file-name - buffers)) - :test 'equal))) - (and pos (nth pos buffers)))) - (defun proof-files-to-buffers (filenames) "Converts a list of FILENAMES into a list of BUFFERS." (if (null filenames) nil |