From a43eb017e4916b2efeb473cfa94b4b0beaf4d9bc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 3 Sep 2009 08:53:03 +0000
Subject: Shorten startup message

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index c4ec9411..be267679 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -325,7 +325,7 @@ Does nothing if proof assistant is already running."
 	;; PG 4.0: does this setting improve performance?
 	(setq process-adaptive-read-buffering 'persist-delay)
 
-	(message "Starting process: %s" prog-command-line)
+	(message "Starting: %s" prog-command-line)
 
 	(apply 'make-comint  (append (list proc (car prog-name-list) nil)
 				     (cdr prog-name-list)))
-- 
cgit v1.2.3