From 9aee949fc5e0f65e22a17e79d51951564c40d852 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 18:00:50 +0000
Subject: Byte comp item

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

diff --git a/todo b/todo
index dc5178a2..25565734 100644
--- a/todo
+++ b/todo
@@ -16,10 +16,9 @@ X (Low)    probably not worth wasting time on
 
 A byte-compilation: continue fixups for clean byte compile.
   Need to compile from clean Emacs to see proper warnings.
-  Unfortunately I get odd Arithmetic Errors when comiling.
   Check that byte compilation (and compiled code!) 
-  works for both varieties of Emacs.  Add instructions to INSTALL on 
-  how to byte compile.  Fill out Makefile.dist (2hr da)
+  works for both varieties of Emacs. 
+  Fill out Makefile.dist (4hr da)
 
 C  Remove "FIXME notes" which are just notes I've put in about old
    code in case something breaks   (da, 30mins).
@@ -422,4 +421,3 @@ B According to the documentation of font-lock for Emacs 20.2, it
 
 B add links *from* Coq, Lego & Isabelle Web pages (da, tms 10 min)
 
-B add instructions for byte compilation (da 20 min)
-- 
cgit v1.2.3