From bdabf268a9da019dbd939e04211e87d5459e4d9d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 13:31:14 +0000
Subject: Updated

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

(limited to 'todo')

diff --git a/todo b/todo
index 367060ea..cf28907a 100644
--- a/todo
+++ b/todo
@@ -29,6 +29,9 @@ X (Low)		e.g. probably not worth spending time on
 
 *** Outstanding bugs to investigate
 
+C The PG isabelle-completion-table seems to be subject to case-fold, which
+  it shouldn't be: \<sqinter> does not work, but \<Sqinter> is OK.
+
 A file-loading messages from Isabelle not recognized any more?  (multiple file eg)
 
 B Keybindings for processing theory in thy mode gone??
-- 
cgit v1.2.3