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

---
 coq.el | 4 +++-
 todo   | 8 +-------
 2 files changed, 4 insertions(+), 8 deletions(-)

diff --git a/coq.el b/coq.el
index 5f80207d..4c198485 100644
--- a/coq.el
+++ b/coq.el
@@ -3,6 +3,9 @@
 ;; Author: Healfdene Goguen and Thomas Kleymann
 
 ;; $Log$
+;; Revision 2.2  1998/09/03 11:26:55  da
+;; Dead code.
+;;
 ;; Revision 2.1  1998/09/03 11:07:07  da
 ;; Removed dead code
 ;;
@@ -485,7 +488,6 @@
 
 ;; hooks and callbacks
 
-  (add-hook 'proof-shell-exit-hook 'coq-zap-line-width nil t)
   (add-hook 'proof-pre-shell-start-hook 'coq-pre-shell-start nil t))
 
 (defun coq-shell-mode-config ()
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