From 85dc0cf0d1c922ed6e8f7cccfc7c03aa36d81bb8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 9 Jun 2000 19:06:07 +0000
Subject: Bug in file colouring

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

diff --git a/todo b/todo
index e802b380..f20dbfe4 100644
--- a/todo
+++ b/todo
@@ -29,6 +29,11 @@ X (Low)		e.g. probably not worth spending time on
 
 *** Outstanding bugs to investigate
 
+A Re-visiting files (in Isar, at least) doesn't lock them properly.
+  M-x isar-mode does.  Why?
+  Also, when files are removed by typing in shell buffer, they
+  don't get uncoloured???
+
 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