diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-26 14:28:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-26 14:28:25 +0000 |
| commit | 523c41fea16971cce581e12751dbf3ded2b22839 (patch) | |
| tree | d13f19a2852ae8996c6bc2e238a7ec566655268d | |
| parent | 469dd85f30ac8e759161b59c90d16d8629c9d1a1 (diff) | |
Updated
| -rw-r--r-- | todo | 16 |
1 files changed, 3 insertions, 13 deletions
@@ -14,19 +14,9 @@ X (Low) probably not worth wasting time on * This is a list of things which need doing in the generic interface ==================================================================== -A* WARNING WARNING WARNING - - Changes pending in proof-script.el, proof-shell.el: - - proof-check-process-available - - will be replaced by *two* functions - - proof-activate-scripting - proof-shell-ready-prover - - Do not edit this function! - +A* Fix bugs in proof-shell-output-filter to deal with prompts + and urgent messages which are split across comint globbing + boundaries. (Should match strings in buffer instead) A* Fixup for non-script buffer locking: |