From 30d3c247cc8c5a55c3a9a2691aea670b04612d26 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 May 2000 16:16:51 +0000
Subject: Updated.  Noted that "first line" bug is more prevalent than thought.

---
 todo | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/todo b/todo
index 75300482..1de04c6b 100644
--- a/todo
+++ b/todo
@@ -27,13 +27,6 @@ D		e.g. desirable to fix at some point
 X (Low)		e.g. probably not worth spending time on
 
 
-*** Extremely urgent bits
-
-A Fix docstring-magic somehow so that multiple instances of PG can
-  be loaded at the same time.  Looks like will have to redefine
-  the proof-assistant specific settings one by one, before calling
-  the specific code.
-
 *** Outstanding bugs to investigate
 
 A find C-c C-l binding and remove it.  Overriden with goto-end-of-locked.
@@ -47,7 +40,7 @@ C Undoing comments with FSF Emacs weirdness.
  but no problem when running with edebug edebug-defun on this function.
  Maybe filter specific glitch to do with spans?
 
-C Problem with startup for Coq and HOL.  See BUGS.
+C Problem with startup for Coq and HOL.  Also for Isar!  See BUGS.
 
 C Solaris bugs: font locking and button enabling.
 
-- 
cgit v1.2.3