diff options
| -rw-r--r-- | isar/isabelle-system.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 2f74d30e..2d41208d 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -229,7 +229,9 @@ until Proof General is restarted." (if (isa-set-isatool-command) (apply 'start-process "isa-view-doc" nil - (list isa-isatool-command "doc" docname)))) + (append (split-string + isa-isatool-command) + "doc" docname)))) (defun isa-tool-list-docs () |