From e5b5e2593501dd788bcb0c593a2432986bbdd833 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 18 Aug 2010 13:04:43 +0000
Subject: Style fix in messages

---
 generic/pg-user.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 1a61a192..66e3a979 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -1463,13 +1463,13 @@ assuming the undo-in-region behavior will apply if ARG is non-nil."
 	  (cond
 	   ((eq proof-shell-last-output-kind 'error)
 	    (setq proof-autosend-error-point (proof-unprocessed-begin))
-	    (message "Sending commands to prover...error."))
+	    (message "Sending commands to prover...error"))
 	   ((and (input-pending-p) proof-shell-busy)
 	    (proof-interrupt-process)
-	    (message "Sending commands to prover...interrupted.")
+	    (message "Sending commands to prover...interrupted")
 	    (proof-shell-wait))
 	   (t
-	    (message "Sending commands to prover...done."))))
+	    (message "Sending commands to prover...done"))))
       (setq proof-autosend-running nil))))
 
 ;; TODO (see beyondsm)
-- 
cgit v1.2.3