diff options
| -rw-r--r-- | isar/isabelle-system.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 2d41208d..fb7e4f80 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -231,8 +231,7 @@ until Proof General is restarted." "isa-view-doc" nil (append (split-string isa-isatool-command) - "doc" docname)))) - + (list "doc" docname))))) (defun isa-tool-list-docs () "Generate a list of documentation files available, with descriptions. |