Todos for 3.1

1 files changed, 6 insertions, 0 deletions

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