From 5ac9ee4e47b8449306e2950acbd756afbeb27ef1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 6 Oct 1999 13:23:46 +0000 Subject: Updated --- todo | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/todo b/todo index 4e1adfa3..17a68854 100644 --- a/todo +++ b/todo @@ -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: -- cgit v1.2.3