From 9fb71b3a0d0f5668f8ce09890b97e1ac86da5579 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 17:09:34 +0000
Subject: bug when prover gives error from proof-find (or similar).

---
 todo | 1 +
 1 file changed, 1 insertion(+)

diff --git a/todo b/todo
index 542f0016..a5e24339 100644
--- a/todo
+++ b/todo
@@ -51,6 +51,7 @@ A Pending work, in progress [da]:
 	. toolbar appears in wrong buffers
     - investigate of excessive processing for large proofs
     - investigate bug fix for vacuous locked regions
+    - bug when prover gives error from proof-find (or similar functions)
     - document proof-mouse-track-insert (new name for proof-send-span, re-enabled).
 
 A Usability enhancement:
-- 
cgit v1.2.3