From fe42e4fab3ec0bbe8c4ba6253a0905a7334909cd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 18 Sep 2000 14:53:33 +0000
Subject: Updated

---
 todo | 2 --
 1 file changed, 2 deletions(-)

diff --git a/todo b/todo
index cf28907a..0a6ce1f7 100644
--- a/todo
+++ b/todo
@@ -32,8 +32,6 @@ X (Low)		e.g. probably not worth spending time on
 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??
 
 B Exiting isar broken?
-- 
cgit v1.2.3