diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 18:00:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 18:00:50 +0000 |
| commit | 9aee949fc5e0f65e22a17e79d51951564c40d852 (patch) | |
| tree | ccde4ccc735001f357f3d72ff4dde2f2bf94fc80 | |
| parent | 8f6f58562e78b0ff09b3463ed698a39bf27334d7 (diff) | |
Byte comp item
| -rw-r--r-- | todo | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -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) |