--- a/Admin/ProofGeneral/progname.patch Mon Nov 30 08:44:08 2009 +0100
+++ b/Admin/ProofGeneral/progname.patch Mon Nov 30 17:13:12 2009 +0100
@@ -1,6 +1,17 @@
--- a/isar/isabelle-system.el 2008-07-17 00:37:36.000000000 +0200
-+++ b/isar/isabelle-system.el 2009-11-28 15:44:06.000000000 +0100
-@@ -125,9 +125,6 @@
++++ 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)
@@ -10,6 +21,13 @@
(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)
@@ -49,3 +67,23 @@
(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)