From e482a7dc259dc63c0404dd3c38649317524cd721 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 31 Jan 2011 08:55:21 +0000 Subject: Improve hint messages; use proof mode keymap. --- generic/pg-user.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/generic/pg-user.el b/generic/pg-user.el index dcbaffba..de116198 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -769,11 +769,11 @@ If NUM is negative, move upwards. Return new span." ;; (defun pg-goals-buffers-hint () - (pg-hint "Use \\[proof-display-some-buffers] to rotate output buffers; \\[pg-response-clear-displays] to clear response & trace.")) + (pg-hint "Use \\\\[proof-display-some-buffers] to rotate output buffers; \\\\[pg-response-clear-displays] to clear response & trace.")) ;;;###autoload (defun pg-slow-fontify-tracing-hint () - (pg-hint "Large tracing output; decorating intermittently. Use \\[pg-response-clear-displays] to clear trace.")) + (pg-hint "Large tracing output; refreshing intermittently. Use \\\\[pg-response-clear-displays] to clear trace.")) ;;;###autoload (defun pg-response-buffers-hint (&optional nextbuf) -- cgit v1.2.3