From 176c2ea7966af858cd501b88762fbed378f00698 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 13:31:36 +0000
Subject: Updated.

---
 todo | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'todo')

diff --git a/todo b/todo
index 7367c3e2..26de88cf 100644
--- a/todo
+++ b/todo
@@ -95,6 +95,14 @@ X (Low)		e.g. probably not worth spending time on
 *** PGIP SUPPORT (minimal for Isabelle patch):
       -- settings with categories
 
+*** A Oddity: Weirdness with regions turning blue even though they
+    haven't been processed.  Noticed with HOL/CCC experimental setups.
+    Send a few regions queueing, no result from interpreter, yet sometimes
+    turns blue.  Why???
+
+*** Allow empty retract action that doesn't produce new prompt
+    (Noticed with HOL4).
+
 *** [ Don't query save before retraction ?? ]
 
 *** C Implement optional arg to next/undo which doesn't update
-- 
cgit v1.2.3