diff options
| author | David Aspinall | 2002-07-19 14:23:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-19 14:23:50 +0000 |
| commit | 3363fb13095d3bac6ca02253e2ddffac883593cb (patch) | |
| tree | 3c5bb2226dc9008aa31630dedba46bed94091f68 | |
| parent | e3faa98b2baca62cc5bd8db0e49f2fa782e29342 (diff) | |
Support missing/faked isatool
| -rw-r--r-- | isa/isabelle-system.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index ab911b7e..b317e988 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -185,11 +185,11 @@ passed to isa-tool-doc-command, DOCNAME will be viewed." (unless (string-equal docs "") (mapcar (function (lambda (docdes) - (list - (substring docdes - (proof-string-match "\\(\\S-+\\)[ \t]+" docdes) - (match-end 1)) - (substring docdes (match-end 0))))) + (if (proof-string-match "\\(\\S-+\\)[ \t]+" docdes) + (list + (substring docdes (match-beginning 0) (match-end 1)) + (substring docdes (match-end 0))) + '("???" "???")))) (split-string docs "\n")))))) (defun isa-quit (save) |