From 6704fc4cc30d65ede75bcfd16763fec495a2d26f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 17 Apr 2004 21:14:13 +0000
Subject: Fix isa-tool-list-docs for altered form of output from isatool doc

---
 isa/isabelle-system.el | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 29ee98d1..4ca667a8 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -232,13 +232,12 @@ passed to isa-tool-doc-command, DOCNAME will be viewed."
       (let ((docs (isa-shell-command-to-string
 		   (concat isa-isatool-command " doc"))))
 	(unless (string-equal docs "")
-	  (mapcar
+	  (mapcan
 	   (function (lambda (docdes)
-		       (if (proof-string-match "\\(\\S-+\\)[ \t]+" docdes)
-			   (list 
-			    (substring docdes (match-beginning 0) (match-end 1))
-			    (substring docdes (match-end 0)))
-			 '("???" "???"))))
+		       (if (proof-string-match "^[ \t]+\\(\\S-+\\)[ \t]+" docdes)
+			   (list (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