diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
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))) |