diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 13:04:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 13:04:43 +0000 |
| commit | e5b5e2593501dd788bcb0c593a2432986bbdd833 (patch) | |
| tree | 646d57bf98621631b560e26eaed0f4acc4ba1f6c /generic/pg-user.el | |
| parent | 5780206a0fe83c5b6df6d5ba1185a56ae4fcfd13 (diff) | |
Style fix in messages
Diffstat (limited to 'generic/pg-user.el')
| -rw-r--r-- | generic/pg-user.el | 6 |
1 files changed, 3 insertions, 3 deletions
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) |