From ec1e7f2b06dfad3972b55924bc06cd2fd8819ede Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Jan 2008 16:26:45 +0000
Subject: Make isatool usage (view doc) compatible with proof-rsh-command.

---
 isar/isabelle-system.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el
index 2f74d30e..2d41208d 100644
--- a/isar/isabelle-system.el
+++ b/isar/isabelle-system.el
@@ -229,7 +229,9 @@ until Proof General is restarted."
   (if (isa-set-isatool-command)
       (apply 'start-process
 	     "isa-view-doc" nil
-	     (list isa-isatool-command "doc" docname))))
+	     (append (split-string
+		      isa-isatool-command) 
+		     "doc" docname))))
 
 
 (defun isa-tool-list-docs ()
-- 
cgit v1.2.3