From 36ecb8c9260e6842101bc92e25ecb9d2cf0f6922 Mon Sep 17 00:00:00 2001
From: Gerwin Klein
Date: Fri, 2 Sep 2005 04:35:35 +0000
Subject: do not include leading space in parameter to isatool doc, i.e.
 isatool doc "x" instead of isatool doc "   x"

---
 isa/isabelle-system.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"))))))
 
-- 
cgit v1.2.3