From e07f6ec07a32590699bbe7a4c813f9aea1d1ddba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Apr 2004 17:21:33 +0000
Subject: Make response buffer hint shorter

---
 generic/pg-user.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/pg-user.el b/generic/pg-user.el
index f1ad146d..23edec50 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -1023,7 +1023,7 @@ If NUM is negative, move upwards.  Return new span."
 (defun pg-response-buffers-hint (&optional nextbuf)
   (pg-hint
    (format
-    "\\[proof-prf] displays goals;%s \\[proof-layout-windows] refreshes"
+    "\\[proof-prf] for goals;%s \\[proof-layout-windows] refreshes"
     (if (not proof-multiple-frames-enable) ;; and not proof-three-window-enable? 
 	(format " \\[proof-display-some-buffers] rotates output%s;"
 		(if nextbuf (concat " (next:" nextbuf ")") ""))
-- 
cgit v1.2.3