From 4ead8384e5cd499eb99bdbf491fb424dbae750f2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Nov 1999 16:01:24 +0000
Subject: Docstrings.

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

(limited to 'generic/proof.el')

diff --git a/generic/proof.el b/generic/proof.el
index 4fff00f9..919da1dc 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -92,7 +92,7 @@
 ;;;
 
 (deflocal proof-buffer-type nil 
-  "Symbol indicating the type of this buffer: 'script, 'shell, or 'pbp.")
+  "Symbol indicating the type of this buffer: 'script, 'shell, 'pbp, or 'response.")
 
 (defvar proof-shell-busy nil 
   "A lock indicating that the proof shell is processing.
-- 
cgit v1.2.3