From 0e72556eb9d98cfe775cf2482f2256cb0c187fe3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Sep 2000 16:14:51 +0000
Subject: Updated

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

diff --git a/todo b/todo
index 2ccc6fd5..39e9bb7e 100644
--- a/todo
+++ b/todo
@@ -29,6 +29,10 @@ X (Low)		e.g. probably not worth spending time on
 
 *** Outstanding bugs to investigate
 
+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?
 
 C Undoing comments with FSF Emacs weirdness.
@@ -56,6 +60,10 @@ X Solaris bugs: font locking and button enabling.
 
 *** Scheduled improvements for 3.2
 
+**** C sanity checks for proof shell config variables.
+
+**** C Canvas FSF Emacs to include -syntactic-context -locate-file fns from XEmacs.
+
 **** A Clean up intro for PG-adapting manual.
 
 **** C Fix mode naming for Isabelle 
-- 
cgit v1.2.3