From c2122d3f2a25c8133333f55e826742420c71f706 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 08:39:54 +0000
Subject: Updated.

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

diff --git a/todo b/todo
index bb42cfda..3d0edbde 100644
--- a/todo
+++ b/todo
@@ -734,6 +734,3 @@ List of things postponed from PG 3.4: need to be merged above
     This needs to be fixed up in count undos, find-and-forget.
 
 *** Generic versions of count undos and find-and-forget generic.
-
-*** Key bindings on proof-universal-keys missing from scripting menu
-    (XEmacs)
-- 
cgit v1.2.3