diff options
| author | David Aspinall | 1999-11-08 15:01:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-08 15:01:24 +0000 |
| commit | ca7c5b3e572e06b7408795c58c374520c487e2e5 (patch) | |
| tree | c6e79dda04d47ee7aa5a514a61057755ac3efd42 /generic/proof-script.el | |
| parent | b2b8286d5b90883c512f864850b19a35b26001c2 (diff) | |
Comments/messages.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 13a98f31..9ce5d76c 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -448,7 +448,7 @@ proof assistant and Emacs is has a modified buffer visiting the file." (buffer (proof-file-to-buffer cfile))) (proof-debug (concat "Registering file " cfile (if (member cfile proof-included-files-list) - " (already registered, no action)" ""))) + " (already registered, no action)." "."))) (unless (member cfile proof-included-files-list) (and buffer (not informprover) @@ -539,11 +539,10 @@ proof-included-files-list before this one will be automatically retracted using proof-auto-retract-dependencies." (if buffer-file-name (let ((cfile (file-truename buffer-file-name))) - (proof-debug - (concat "Unregistering file " cfile - (if (not (member cfile - proof-included-files-list)) - " (not registered, no action)" ""))) + (proof-debug (concat "Unregistering file " cfile + (if (not (member cfile + proof-included-files-list)) + " (not registered, no action)." "."))) (if (member cfile proof-included-files-list) (progn (proof-auto-retract-dependencies cfile informprover) |