From 122c3fa6713cb99fa55a88edb36b65772b87f668 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 19 Oct 1998 11:18:44 +0000
Subject: Added todo for byte-compilation

---
 todo | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/todo b/todo
index 1882bba6..d6644859 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,10 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+C byte-compilation: check that byte compilation (and compiled code!)
+  works for both varieties of Emacs.  Add instructions to INSTALL on 
+  how to byte compile.  (1hr)
+
 D proof-site (da): I think it would be nice to change the architecture
   to make customization for new provers much easier.
   The standard use of 'define-derived-mode' could be invoked
@@ -330,7 +334,6 @@ B `lego-get-path' assumes that LEGOPATH has been set in the
   be analysed with the help of a LEGO specific extension of
   `proof-shell-process-urgent-message'. (1h tms)
 
-
 B release new version of the LEGO proof engine (4h tms)
 
 B Equiv, Next,... aren't handled properly, because LEGO does not
-- 
cgit v1.2.3