From e322521a3ea64344ed17feac5a6a961ba81db910 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 23 Jan 2011 14:12:39 +0000
Subject: proof-shell-exit: mention quit command and quit timeout in doc

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

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 2832c6c2..3d91f9ed 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -470,7 +470,10 @@ This simply kills the `proof-shell-buffer' relying on the hook function
 
 `proof-shell-kill-function' to do the hard work. If optional
 argument DONT-ASK is non-nil, the proof process is terminated
-without confirmation."
+without confirmation.
+
+The kill function uses `<PA>-quit-timeout' as a timeout to wait
+after sending `proof-shell-quit-cmd' before rudely killing the process."
   (interactive)
   (if (buffer-live-p proof-shell-buffer)
       (when (or dont-ask
-- 
cgit v1.2.3