From ca7c5b3e572e06b7408795c58c374520c487e2e5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Nov 1999 15:01:24 +0000
Subject: Comments/messages.

---
 generic/proof-script.el | 11 +++++------
 1 file 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)
-- 
cgit v1.2.3