    (interactive
     (list (completing-read
  	  "Use logic: "
+@@ -224,9 +220,7 @@
+   (if (isa-set-isatool-command)
+       (apply 'start-process
+ 	     "isa-view-doc" nil
+-	     (append (split-string
+-		      isa-isatool-command) 
+-		     (list "doc" docname)))))
++	     (list isa-isatool-command "doc" docname))))
+ 
+ (defun isa-tool-list-docs ()
+   "Generate a list of documentation files available, with descriptions.
+@@ -236,7 +230,7 @@
+ passed to isa-tool-doc-command, DOCNAME will be viewed."
+   (if (isa-set-isatool-command)
+       (let ((docs (isa-shell-command-to-string
+-		   (concat isa-isatool-command " doc"))))
++		   (concat "\"" isa-isatool-command "\" doc"))))
+ 	(unless (string-equal docs "")
+ 	  (mapcan
+ 	   (function (lambda (docdes)

 (defun isa-tool-list-logics ()
   "Generate a list of available object logics."
   (if (isa-set-isatool-command)
@@ -177,7 +174,7 @@
 
 (defun isabelle-set-prog-name (&optional filename)

--- a/isar/isabelle-system.el	2008-07-17 00:37:36.000000000 +0200
+++ b/isar/isabelle-system.el	2009-11-30 17:06:05.508481278 +0100
@@ -97,8 +97,8 @@
   (if (or proof-rsh-command
 	  (file-executable-p isa-isatool-command))
       (let ((setting (isa-shell-command-to-string
-		      (concat isa-isatool-command
-			      " getenv -b " envvar))))
+		      (concat "\"" isa-isatool-command
+			      "\" getenv -b " envvar))))
 	(if (string-equal setting "")
 	    default
 	  setting))
@@ -125,15 +125,12 @@
   :type 'file
   :group 'isabelle)
 
