diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 16:26:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 16:26:45 +0000 |
commit | ec1e7f2b06dfad3972b55924bc06cd2fd8819ede (patch) | |
tree | bfb596b5fcb14c5e304634870d2e2295e54f60d5 /isar/isabelle-system.el | |
parent | af4191ef4d152a34f1d730bef5e58bd18c5dd378 (diff) |
Make isatool usage (view doc) compatible with proof-rsh-command.
Diffstat (limited to 'isar/isabelle-system.el')
-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 () |