From e46018a9dae3b81dfdbef76c8bcff40a9e6a19b5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Aug 2002 12:48:01 +0000
Subject: Docstring

---
 generic/pg-response.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/generic/pg-response.el b/generic/pg-response.el
index 7e084500..0ad5b9f0 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -177,7 +177,10 @@ Returns non-nil if response buffer was cleared."
 
 
 (defun pg-response-clear-displays ()
-  "Clear PG response and tracing buffers."
+  "Clear Proof General response and tracing buffers.
+You can use this command to clear the output from these buffers when
+it becomes overly long.  Particularly useful when `proof-tidy-response'
+is set to nil, so responses are not cleared automatically."
   (interactive)
   (proof-map-buffers (list proof-response-buffer proof-trace-buffer)
     (erase-buffer)
-- 
cgit v1.2.3