diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 16:30:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 16:30:55 +0000 |
commit | edf1899143874c6f8fba9bc81046be47ff46ae62 (patch) | |
tree | 617bf843fbb384d127cd0c7fa92696479a460f52 /isar/isabelle-system.el | |
parent | ec1e7f2b06dfad3972b55924bc06cd2fd8819ede (diff) |
Fix previous change.
Diffstat (limited to 'isar/isabelle-system.el')
-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. |