From 7ace0a9c753c8d83117832ba9b4212a561d2ce26 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Jan 2008 15:48:48 +0000
Subject: split string on proof-rsh-command

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index f8724c9d..55594aa0 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -258,7 +258,8 @@ Does nothing if proof assistant is already running."
 	      ;; Splice in proof-rsh-command if it's non-nil 
 	      (if (and proof-rsh-command
 		       (> (length proof-rsh-command) 0))
-		  (cons proof-rsh-command prog-name-list1)
+		  (append (split-string proof-rsh-command)
+			  prog-name-list1)
 		prog-name-list1))
 	     (prog-command-line 
 	      (proof-splice-separator " " prog-name-list))
-- 
cgit v1.2.3