diff options
| author | David Aspinall | 2004-04-17 21:14:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-17 21:14:13 +0000 |
| commit | 6704fc4cc30d65ede75bcfd16763fec495a2d26f (patch) | |
| tree | b0bd9cd38815ee07703af4585603d1e403f21d7c | |
| parent | 45fc17dbb4102b6ff9bed51e9163d32df3901b64 (diff) | |
Fix isa-tool-list-docs for altered form of output from isatool doc
| -rw-r--r-- | isa/isabelle-system.el | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 29ee98d1..4ca667a8 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -232,13 +232,12 @@ passed to isa-tool-doc-command, DOCNAME will be viewed." (let ((docs (isa-shell-command-to-string (concat isa-isatool-command " doc")))) (unless (string-equal docs "") - (mapcar + (mapcan (function (lambda (docdes) - (if (proof-string-match "\\(\\S-+\\)[ \t]+" docdes) - (list - (substring docdes (match-beginning 0) (match-end 1)) - (substring docdes (match-end 0))) - '("???" "???")))) + (if (proof-string-match "^[ \t]+\\(\\S-+\\)[ \t]+" docdes) + (list (list + (substring docdes (match-beginning 0) (match-end 1)) + (substring docdes (match-end 0))))))) (split-string docs "\n")))))) (defun isa-quit (save) |