From 5e19c3e5bdc749e234a96268f30f2eb2a8878645 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 9 Oct 1998 13:43:00 +0000
Subject: Added todos for: rsh, multi file failure, multi file in Isabelle,
 splash.

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

diff --git a/todo b/todo
index d9c37bfb..331bbb51 100644
--- a/todo
+++ b/todo
@@ -262,6 +262,9 @@ C Make completion more generic. For Isabelle and Lego, we can build a
   completion table by querying the process, which is better than
   messing with tags.
 
+X Splash screen: Add fancy text logo to it.  Centre the display
+  prettily.
+
 X Write a Makefile for the distribution.  It can do things like
   install the info file properly.  The work is at the moment done
   in the RPM spec file instead.
@@ -386,9 +389,6 @@ B (part of above): Handle proof-retract-file by querying Isabelle
   about the decendants of a file.  Then all the descendents can
   also be unlocked.
 
-X Splash screen: Add fancy text logo to it.  Centre the display
-  prettily.
-
 X Write perl scripts to generate TAGS file for ML and thy files.
   (6h, I've completely forgotten perl), or better:
 
-- 
cgit v1.2.3