diff options
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) |