From 5fb8dbfb42c86b358eb1b9655638c5cfce6d1827 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 08:51:01 +0000
Subject: Updated.

---
 todo | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'todo')

diff --git a/todo b/todo
index 3d0edbde..bdd32b14 100644
--- a/todo
+++ b/todo
@@ -734,3 +734,8 @@ 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.
+
+*** Keybindings on menus: many missing in GNU Emacs.  
+    Also strange things happen with docstrings for macro-generated
+    functions.  (C-h C-c C-p gives message "can't find docstring for
+    proof-prf" at one point, then later finds it?!)
-- 
cgit v1.2.3