diff options
| -rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 3 insertions, 1 deletions
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) |