From 58c7624ce077161b1b2479f4046f13cff7bf0f94 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Nov 2002 12:54:10 +0000
Subject: Updated.

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

(limited to 'todo')

diff --git a/todo b/todo
index 747003e6..7d7d80a8 100644
--- a/todo
+++ b/todo
@@ -32,6 +32,13 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to do in the generic interface
 
+*** A settings configuration for Isabelle: add backwards
+    compatibility for older versions of Isabelle.  
+    Waiting for Isabelle to provide some easy version
+    checking.
+
+*** B Cleanup display during settings processing.
+
 *** A fix display anomaly for Isar output with shrink windows:
     display splits window unexpectedly.
 
-- 
cgit v1.2.3