From cb33b5eaf67be86bc9774913160fbf2f2690c10f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Oct 1998 12:34:45 +0000
Subject: Removed check distribution item.  Added Isabelle fix.

---
 todo | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/todo b/todo
index dba572ab..c16e2527 100644
--- a/todo
+++ b/todo
@@ -13,9 +13,8 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
-A Test that the release version of the distribution actually works.
-  The tar file doesn't include the whole of what we keep under CVS.
-  (da, 30 mins)
+A Fix Non Sequitur nonsense with Isabelle when warnings appear before
+  proofstate.  (da, 1hr?)
 
 A Check & fix support for a recent version of FSFmacs.  (da, 2hr).
 
@@ -103,6 +102,11 @@ C Investigate and improve indentation/font-locking code.
   *very* slow.  Moreover the indentation is screwy.  Also
   seems screwy in LEGO/Coq PG.  (da, 2hr)
 
+C Improve Linux install via spec file: hack the load line into 
+  site-start.el.  Could use emacs to determine its location,
+  automatically detect both XEmacs and Emacs, etc.  See if
+  other Emacs packages do something clever. 
+
 B New buffer model:
 
     1. Script buffers
-- 
cgit v1.2.3