  (defun isa-tool-list-logics ()
    "Generate a list of available object logics."
    (if (isa-set-isatool-command)
+       (delete "" (split-string
+ 		  (isa-shell-command-to-string
+-		   (concat isa-isatool-command " findlogics")) "[ \t]"))))
++		   (concat "\"" isa-isatool-command "\" findlogics")) "[ \t]"))))
+ 
+ (defcustom isabelle-logics-available nil
+   "*List of logics available to use with Isabelle.
 @@ -177,7 +174,7 @@
  
  (defun isabelle-set-prog-name (&optional filename)

   (interactive
    (list (completing-read
 	  "Use logic: "

--- 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)
 
