diff options
| author | David Aspinall | 1998-10-29 15:36:07 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-29 15:36:07 +0000 |
| commit | 16028685708a1970794dc72afe3fce64b9d21942 (patch) | |
| tree | 5c4569ec59ff6dfee657454ef668a1c4a2c98596 /generic/proof-script.el | |
| parent | df1798ff9c879212b718b4f026b439a0beb7eeda (diff) | |
Fixed requires for FSF Emacs.
Patched (old bug?) in proof-response-buffer-display, how did it
come back?
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 38c66487..8fabb2b8 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -20,7 +20,7 @@ ;; Nuke some byte-compiler warnings (eval-when-compile - (require 'func-menu) + (if (locate-library "func-menu") (require 'func-menu)) (require 'comint)) ;; FIXME: @@ -299,7 +299,8 @@ to allow other files loaded by proof assistants to be marked read-only." (and buffer (buffer-modified-p buffer) (proof-warning (concat "Changes to " - (buffer-name buffer) " have not been saved!"))) + (buffer-name buffer) + " have not been saved!"))) (setq proof-included-files-list (cons cfile proof-included-files-list)) ;; If the file is loaded into a buffer, which isn't |