Added todo for proof-issue-goal, proof-issue-save.

1 files changed, 3 insertions, 0 deletions

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