diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-23 13:26:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-23 13:26:23 +0000 |
| commit | d178a6d4b947f7da41bfb59e3ece5c73960e981e (patch) | |
| tree | 95d4d4af58e498fcc1e55d0c3387668a6772d7fd /generic/proof-script.el | |
| parent | a8711708eeaa17fe8d1a4d2bf8081f02010e282d (diff) | |
Moved proof-file-to-buffer to proof-script.el
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 25b55f34..967d3073 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -298,6 +298,17 @@ to allow other files loaded by proof assistants to be marked read-only." "Returns the true name of the file FILENAME or nil." (and filename (file-exists-p filename) (file-truename filename))) +(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-register-possibly-new-processed-file (file) "Register a possibly new FILE as having been processed by the prover." (let* ((cfile (file-truename file)) |