diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-06 13:23:46 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-06 13:23:46 +0000 |
commit | 5ac9ee4e47b8449306e2950acbd756afbeb27ef1 (patch) | |
tree | d1133bd73ded17bd375bb91d4263752043311903 | |
parent | 5f32591ca6c133627014c476f07d6c86c8896902 (diff) |
Updated
-rw-r--r-- | todo | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -54,7 +54,8 @@ re-enabled), proof-toggle-scripting, new configuration options. B After interrupt, queue region is left intact. Seems odd. Let's remove it. Also interrupt needs other cleanups: - position of proof-marker may be wrong. + position of proof-marker may be wrong. Even the message + appears in the goals buffer rather than the response buffer! B bug: interrupting Isabelle process sometimes doesn't return, why? (see first half of interrupt error only: |