From d19da360c94a9145249993ffd752b82d32cbb1c3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Aug 2000 21:22:50 +0000
Subject: Added split string on theorem dependency code, to make list of
 dependents.

---
 generic/proof-shell.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 9deb2980..e85c4628 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1404,12 +1404,8 @@ proof-shell-eager-annotation-start, proof-shell-eager-annotation-end."
    ((if proof-shell-theorem-dependency-list-regexp 
 	(string-match proof-shell-theorem-dependency-list-regexp message))
       (setq proof-last-theorem-dependencies 
-	  (match-string 1 message)))
+	    (split-string (match-string 1 message))))
    
-     ;; FIONA!  New code needs to go in here: match 
-   ;; against proof-shell-theorem-dependency-list-regexp and set a 
-   ;; variable proof-last-theorem-depencies from the match string
-
    (t
     ;; We're about to display a message.  Clear the response buffer
     ;; if necessary, but don't clear it the next time.
-- 
cgit v1.2.3