From ca40a36bdf0ef70b564b6ee8da8de86e9bebffe4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 3 Sep 1998 11:26:57 +0000
Subject: Dead code.

---
 todo | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'todo')

diff --git a/todo b/todo
index d5668905..4dfcf878 100644
--- a/todo
+++ b/todo
@@ -9,13 +9,7 @@ C (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
-B Remove dead code from all files.
-   da suggests maybe this stuff is defunct:
-    <coq|isa|lego>-save-query	      
-		  -shell-working-dir
-    coq-zap-line-width
-      (proof-shell-exit-hook value, not defined anywhere?)
-  (1hr)
+B Prune dead code.  (1h)
 
 B Add support to proof.el for *not* setting variables for
   commands which aren't supported by a prover.  For example,
-- 
cgit v1.2.3