From df8a7e419c5401f584c94419379eb2f093cd726a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Nov 1999 10:45:21 +0000
Subject: Patches for urgent message processing.

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

(limited to 'todo')

diff --git a/todo b/todo
index 7680a6b1..7f35eded 100644
--- a/todo
+++ b/todo
@@ -52,6 +52,11 @@ re-enabled), proof-toggle-scripting, new configuration options.
     - noticeable delay when loading ML files for Isabelle (fontification?)
     - clean up assert-until-point stuff at last!
 
+C Add binding for proof info function to help menu.
+
+D Why don't PG's minor modes appear on XEmacs minor mode menu?
+  (C-right on status bar)
+
 A Markus's bug reminder list:
   - cut&paste from hilited Isabelle output includes invisible specials;
   - c-c c-c does not work reliably;
-- 
cgit v1.2.3