diff options
author | Makarius Wenzel <makarius@sketis.net> | 2009-12-07 11:24:50 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2009-12-07 11:24:50 +0000 |
commit | 5a7f4171a2ef2b1c043d41b75f620750a59f6012 (patch) | |
tree | 892b52cc135f731f1567035d6fe4a79b75236f57 /isar | |
parent | e83e1554aa3eb8fbe8795a4cfec1207cdd0d3ae2 (diff) |
more robust treatment of spaces in directory names;
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isabelle-system.el | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index ec405b13..df4abb59 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -96,8 +96,8 @@ If there is no setting for the variable, DEFAULT will be returned" (if (or proof-rsh-command (file-executable-p isa-isabelle-command)) (let ((setting (isa-shell-command-to-string - (concat isa-isabelle-command - " getenv -b " envvar)))) + (concat "\"" isa-isabelle-command + "\" getenv -b " envvar)))) (if (string-equal setting "") default setting)) @@ -123,7 +123,7 @@ The logic image name is tagged onto the end." (if (isa-set-isabelle-command) (delete "" (split-string (isa-shell-command-to-string - (concat isa-isabelle-command " findlogics")) "[ \t]")))) + (concat "\"" isa-isabelle-command "\" findlogics")) "[ \t]")))) (defcustom isabelle-logics-available nil "*List of logics available to use with Isabelle. @@ -214,9 +214,7 @@ This function sets `proof-prog-name' and `isar-prog-args'." (if (isa-set-isabelle-command) (apply 'start-process "isa-view-doc" nil - (append (split-string - isa-isabelle-command) - (list "doc" docname))))) + (list isa-isabelle-command "doc" docname)))) (defun isa-tool-list-docs () "Generate a list of documentation files available, with descriptions. @@ -226,7 +224,7 @@ of Isabelle document names and descriptions. When DOCNAME is passed to isa-tool-doc-command, DOCNAME will be viewed." (if (isa-set-isabelle-command) (let ((docs (isa-shell-command-to-string - (concat isa-isabelle-command " doc")))) + (concat "\"" isa-isabelle-command "\" doc")))) (unless (string-equal docs "") (mapcan (function (lambda (docdes) |