From 571d527fc7597b1518b03e2e4237fb02d621be89 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Dec 1999 17:39:43 +0000
Subject: Added two new bugs to be fixed.

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

diff --git a/todo b/todo
index 16916900..0439cbd0 100644
--- a/todo
+++ b/todo
@@ -49,6 +49,13 @@ B Manual improvements before techreport publishing (see notes at end also):
   - add screenshots?
   - add more index entries
 
+C Investigate support under Mule.  Suggestion we need to set
+  process-coding-system-alist somehow to prevent coding.
+
+C Investigate fix for looping rewriting in Isabelle.  Continual
+  and frequent messages from the prover lock out the user.
+  Is there any easy way of fixing this?
+  
 D Change the name of "automatic multiple files" to something
   more comprehensible.
 
-- 
cgit v1.2.3