From 7534168dcc382c145834de823b9f28b6fdf02fc7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 17:27:44 +0000
Subject: Updated with fixes before 3.2.

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

diff --git a/todo b/todo
index 5191dd7d..eec304f7 100644
--- a/todo
+++ b/todo
@@ -27,7 +27,11 @@ D		e.g. desirable to fix at some point
 X (Low)		e.g. probably not worth spending time on
 
 
-*** Outstanding bugs to investigate
+*** Things to fix before 3.2
+
+A Ignore table entries for non-existent directories?
+
+A Remove fileshow urls in html
 
 C The PG isabelle-completion-table seems to be subject to case-fold, which
   it shouldn't be: \<sqinter> does not work, but \<Sqinter> is OK.
-- 
cgit v1.2.3