From 1f7b1094b2af2c36bbfe96ce717c92a6927af225 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Feb 2000 09:52:29 +0000
Subject: Todos for 3.1

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

diff --git a/todo b/todo
index 2b8e7acb..bdd00658 100644
--- a/todo
+++ b/todo
@@ -33,6 +33,12 @@ X (Low)		probably not worth spending time on
 
 
 
+* Priority Fixes for 3.1
+========================
+
+** Isabelle regexp overflow problem
+** Solaris ^G problem and FSF Emacs mule/non-mule support
+
 
 
 * Things to in the generic interface
-- 
cgit v1.2.3