From 72627dcbb6b3fd691d283eca91d7a8405a49d19e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Aug 2002 14:13:52 +0000
Subject: Docstring

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index cae2de61..ee8eb1a3 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -391,7 +391,9 @@ Would cause Proof General to issue the command `ssh bigjobs isabelle'
 to start Isabelle remotely on our large compute server called `bigjobs'.
 
 The protocol used should be configured so that no user interaction
-(passwords, or whatever) is required to get going."
+(passwords, or whatever) is required to get going.  For proper
+behaviour with interrupts, the program should also communicate
+signals to the remote host."
   :type 'string
   :group 'proof-user-options)
 
-- 
cgit v1.2.3