1 files changed, 0 insertions, 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,