diff options
| author | David Aspinall | 2002-08-12 14:13:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-12 14:13:52 +0000 |
| commit | 72627dcbb6b3fd691d283eca91d7a8405a49d19e (patch) | |
| tree | dfe646c6b7d3b0b28ccaf03d915c2f34616fa8d7 | |
| parent | 19f1f51b71c47c5b4bb4f0c35e5dcf476cc136b7 (diff) | |
Docstring
| -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) |