1.1 --- a/Admin/ProofGeneral/progname.patch	Mon Nov 30 08:44:08 2009 +0100
     1.2 +++ b/Admin/ProofGeneral/progname.patch	Mon Nov 30 17:13:12 2009 +0100
     1.3 @@ -1,6 +1,17 @@
     1.4  --- a/isar/isabelle-system.el	2008-07-17 00:37:36.000000000 +0200
     1.5 -+++ b/isar/isabelle-system.el	2009-11-28 15:44:06.000000000 +0100
     1.6 -@@ -125,9 +125,6 @@
     1.7 ++++ b/isar/isabelle-system.el	2009-11-30 17:06:05.508481278 +0100
     1.8 +@@ -97,8 +97,8 @@
     1.9 +   (if (or proof-rsh-command
    1.10 + 	  (file-executable-p isa-isatool-command))
    1.11 +       (let ((setting (isa-shell-command-to-string
    1.12 +-		      (concat isa-isatool-command
    1.13 +-			      " getenv -b " envvar))))
    1.14 ++		      (concat "\"" isa-isatool-command
    1.15 ++			      "\" getenv -b " envvar))))
    1.16 + 	(if (string-equal setting "")
    1.17 + 	    default
    1.18 + 	  setting))
    1.19 +@@ -125,15 +125,12 @@
    1.20     :type 'file
    1.21     :group 'isabelle)
    1.22   
    1.23 @@ -10,6 +21,13 @@
    1.24   (defun isa-tool-list-logics ()
    1.25     "Generate a list of available object logics."
    1.26     (if (isa-set-isatool-command)
    1.27 +       (delete "" (split-string
    1.28 + 		  (isa-shell-command-to-string
    1.29 +-		   (concat isa-isatool-command " findlogics")) "[ \t]"))))
    1.30 ++		   (concat "\"" isa-isatool-command "\" findlogics")) "[ \t]"))))
    1.31 + 
    1.32 + (defcustom isabelle-logics-available nil
    1.33 +   "*List of logics available to use with Isabelle.
    1.34  @@ -177,7 +174,7 @@
    1.35   
    1.36   (defun isabelle-set-prog-name (&optional filename)
    1.37 @@ -49,3 +67,23 @@
    1.38     (interactive
    1.39      (list (completing-read
    1.40   	  "Use logic: "
    1.41 +@@ -224,9 +220,7 @@
    1.42 +   (if (isa-set-isatool-command)
    1.43 +       (apply 'start-process
    1.44 + 	     "isa-view-doc" nil
    1.45 +-	     (append (split-string
    1.46 +-		      isa-isatool-command) 
    1.47 +-		     (list "doc" docname)))))
    1.48 ++	     (list isa-isatool-command "doc" docname))))
    1.49 + 
    1.50 + (defun isa-tool-list-docs ()
    1.51 +   "Generate a list of documentation files available, with descriptions.
    1.52 +@@ -236,7 +230,7 @@
    1.53 + passed to isa-tool-doc-command, DOCNAME will be viewed."
    1.54 +   (if (isa-set-isatool-command)
    1.55 +       (let ((docs (isa-shell-command-to-string
    1.56 +-		   (concat isa-isatool-command " doc"))))
    1.57 ++		   (concat "\"" isa-isatool-command "\" doc"))))
    1.58 + 	(unless (string-equal docs "")
    1.59 + 	  (mapcan
    1.60 + 	   (function (lambda (docdes)