From 3363fb13095d3bac6ca02253e2ddffac883593cb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Jul 2002 14:23:50 +0000
Subject: Support missing/faked isatool

---
 isa/isabelle-system.el | 10 +++++-----
 1 file 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)
-- 
cgit v1.2.3