diff options
| author | Gerwin Klein | 2005-09-02 04:35:35 +0000 |
|---|---|---|
| committer | Gerwin Klein | 2005-09-02 04:35:35 +0000 |
| commit | 36ecb8c9260e6842101bc92e25ecb9d2cf0f6922 (patch) | |
| tree | 925cad4df99024b8c19ed4608ef365dd332d0bd7 | |
| parent | 6cf302e3923f8f2a110e6d731b909f7e94852a56 (diff) | |
do not include leading space in parameter to isatool doc, i.e.
isatool doc "x"
instead of
isatool doc " x"
| -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")))))) |