From 3f5a512dc5e0e84e35151a32d5d6e60466453980 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 15:34:25 +0000
Subject: Added message about bug in proof-retract-until-point.

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

diff --git a/todo b/todo
index 6dba091d..aa1e7396 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,12 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+
+B Bug in proof-retract-until-point when called twice in succession:
+  calls backward-char at beginning of buffer.  (Should say no
+  locked region, or "nothing to retract").  Problems is that
+  there is a proof-locked-end, but it's at (point-min).
+
 B proof-find-next-terminator doesn't work properly:
 
      first;second;third
-- 
cgit v1.2.3