From d178a6d4b947f7da41bfb59e3ece5c73960e981e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 23 Oct 1998 13:26:23 +0000
Subject: Moved proof-file-to-buffer to proof-script.el

---
 generic/proof-script.el | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'generic/proof-script.el')

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))
-- 
cgit v1.2.3