diff options
| author | David Aspinall | 1998-11-09 18:50:23 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-09 18:50:23 +0000 |
| commit | 9c97972a2e94fc01c34f67848c5634a8864b142a (patch) | |
| tree | c64f7fe0a54474accf36eb64861fd9559af6d36e /generic/proof-shell.el | |
| parent | 257d2cf3547f485c18991db54f56bd28c86b9ac3 (diff) | |
Added proof-rsh-command to help complete documentation (was allocated
to tms but he said he wouldn't get around to it)
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index d3bc5bc0..78e60a7c 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -192,7 +192,11 @@ Does nothing if proof assistant is already running." (message (format "Starting %s process..." proc)) ;; Starting the inferior process (asynchronous) - (let ((prog-name-list (proof-string-to-list proof-prog-name " "))) + (let ((prog-name-list (proof-string-to-list + (concat + proof-rsh-command + " " + proof-prog-name) " "))) (apply 'make-comint (append (list proc (car prog-name-list) nil) (cdr prog-name-list)))) ;; To send any initialisation commands to the inferior process, |