diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 8 |
1 files changed, 6 insertions, 2 deletions
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 |