1 files changed, 7 insertions, 0 deletions
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.