From 3be3f686767fc12b67f8e59288e6e3b2d688bee4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 12:56:51 +0000
Subject: Added a couple of todos

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

diff --git a/todo b/todo
index aaffc97d..95b67be3 100644
--- a/todo
+++ b/todo
@@ -54,6 +54,14 @@ X Solaris bugs: font locking and button enabling.
 
 *** Scheduled improvements for 3.2
 
+**** C Fix mode naming for Isabelle 
+     (might like isa-proofscript-mode -> isa-mode;
+      but this conflicts with entry mechanism for thy/isa mode).
+
+**** A Add Pierre's improvements for X-Symbol config to other provers.
+       Perhaps there should be a default configuration for non-token
+       input languages?
+
 **** A make C-c C-l go to bottom of response buffer while output
        is arriving (set-window-point (point)) or similar.
 
-- 
cgit v1.2.3