Added todo for byte-compilation

1 files changed, 4 insertions, 1 deletions

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