# HG changeset patch
# User wenzelm
# Date 1259597592 -3600
# Node ID 2a4c44b06eb4c813a926cde309d4a1771dbc530d
# Parent  dd017d9db05f8604241c5f96ddb6c3bbb8d08dca
more robust treatment of spaces in directory names;

diff -r dd017d9db05f -r 2a4c44b06eb4 Admin/ProofGeneral/progname.patch
--- 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)