diff options
| -rw-r--r-- | isa/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 58b09636..380b0d9d 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -235,7 +235,7 @@ passed to isa-tool-doc-command, DOCNAME will be viewed." (function (lambda (docdes) (if (proof-string-match "^[ \t]+\\(\\S-+\\)[ \t]+" docdes) (list (list - (substring docdes (match-beginning 0) (match-end 1)) + (substring docdes (match-beginning 1) (match-end 1)) (substring docdes (match-end 0))))))) (split-string docs "\n")))))) |