From 2d6b4150e681dfb09a75eab05c052a0fa04c621c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 22 Oct 1998 16:01:38 +0000
Subject: Added todo for clean byte compile

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

(limited to 'todo')

diff --git a/todo b/todo
index bedf88dc..8dc8b60e 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,8 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+A* Fixup for clean byte compile now that proof.el has been split.
+
 A* Fixup multiple files -- needs debugging.
 
    1. mark atomic makes some assumption about non-comment commands in
-- 
cgit v1.2.3