From bb9d29be4c70aba3c89e3cd9f87268a636d5897e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 8 Sep 2000 13:35:15 +0000
Subject: Updated

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

diff --git a/todo b/todo
index c64a353c..2ccc6fd5 100644
--- a/todo
+++ b/todo
@@ -29,6 +29,8 @@ X (Low)		e.g. probably not worth spending time on
 
 *** Outstanding bugs to investigate
 
+B Exiting isar broken?
+
 C Undoing comments with FSF Emacs weirdness.
  Noticed with Emacs 20.6.1.  Seems to affect all provers.
  Workaround:  use C-c C-RET or C-c C-r instead.
-- 
cgit v1.2.3