From 27f259cb238ed5a47798d3533b02435f903cad9e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 6 Apr 2004 10:15:59 +0000
Subject: Updated.

---
 todo | 2 --
 1 file changed, 2 deletions(-)

diff --git a/todo b/todo
index 193b1636..622e78be 100644
--- a/todo
+++ b/todo
@@ -23,8 +23,6 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
 
 *** Update documentation.  Include new screenshots also for web pages.
 
-*** Remove papers subdirectory.
-
 *** GNU Emacs bug:
      -- Behaviour of `proof-shell-exit' is different on command
      line and from menu.  From menu it *hangs* for some reason,
-- 
cgit v1.2.3