From e6860a080a4dcc3cbd43c5fbf1904eae0ba190cd Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 25 Nov 1998 13:02:33 +0000 Subject: FSF Emacs fix for buffer-file-truename, which is the *abbreviated* form of file-truename! --- generic/proof-script.el | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'generic/proof-script.el') diff --git a/generic/proof-script.el b/generic/proof-script.el index 59350fc9..1a96b484 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1624,8 +1624,12 @@ Otherwise just do proof-restart-buffers to delete some spans from memory." "Finish setup of Proof General scripting mode. Call this function in the derived mode for the proof assistant to finish setup which depends on specific proof assistant configuration." - ;; Has buffer already been processed? - (and (member buffer-file-truename proof-included-files-list) + ;; Has buffer already been processed? + ;; NB: call to file-truename is needed for FSF Emacs which + ;; chooses to make buffer-file-truename abbreviate-file-name + ;; form of file-truename. + (and (member (file-truename buffer-file-truename) + proof-included-files-list) (proof-mark-buffer-atomic (current-buffer))) ;; calculate some strings and regexps for searching -- cgit v1.2.3