From d399afff6fbf157550a1144c14e90ecfdbb8b005 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 15:58:59 +0000
Subject: Added todo for proof-issue-goal, proof-issue-save.

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

(limited to 'todo')

diff --git a/todo b/todo
index b12fabd1..9796df9d 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,9 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+B proof-issue-goal should refuse to work when a proof is in progress.
+  Similarly proof-issue-save should refuse to work when a proof
+  hasn't been completed!
 
 B Bug in proof-retract-until-point when called twice in succession:
   calls backward-char at beginning of buffer.  (Should say no
-- 
cgit v1.2.3