diff options
| author | David Aspinall | 2009-09-03 08:53:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-03 08:53:03 +0000 |
| commit | a43eb017e4916b2efeb473cfa94b4b0beaf4d9bc (patch) | |
| tree | 08d26e50683717f5c094535a31f1bd7c52ff9415 | |
| parent | 2db1e2463eee8c457cd77380e80d77826990cb71 (diff) | |
Shorten startup message
| -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))) |