diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-08-14 21:22:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-08-14 21:22:50 +0000 |
| commit | d19da360c94a9145249993ffd752b82d32cbb1c3 (patch) | |
| tree | a0805e0ce63cb3079aea3041e84a89c0f37975d1 /generic | |
| parent | a44615bcf133fc3ed3b0a4935367d2a17d9b6748 (diff) | |
Added split string on theorem dependency code, to make list of dependents.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 6 |
1 files changed, 1 insertions, 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. |