From b15f69a7365bf45c1b26ac0f987622a4bebc59e0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Mar 1999 14:29:48 +0000
Subject: Idea for proof-auto-retract, notes about proof-strict-read-only

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

(limited to 'todo')

diff --git a/todo b/todo
index 0c5eccbc..a50c9f20 100644
--- a/todo
+++ b/todo
@@ -111,6 +111,8 @@ B Check matching code carefully, in view of bug reported (now fixed)
   word matching is based on whitespace constituents or non-word
   constituents.  [6 hrs]
 
+C Implement proof-auto-retract idea.  (4hrs)
+
 C Make and test generic versions of <..>-goal-command-p, 
   <...>-count-undos, to simplify prover-specific code.  
 
-- 
cgit v1.2.3