From 10b0aa36ba12e6255c14df3ca9dc9cf732a55550 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Nov 1998 14:42:26 +0000
Subject: Func menu problems, note added

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

(limited to 'todo')

diff --git a/todo b/todo
index 87a2f9b0..25f5c7a7 100644
--- a/todo
+++ b/todo
@@ -36,6 +36,8 @@ C  The semantics of `proof-script-buffer-list' is ambigous. The first
 A Revise ProofGeneral.texi and publish LaTeX version as an LFCS
   Technical Report (2+2 days; da + tms)
 
+A* Bug in proof-mode configuration of func-menu.  (30mins)
+
 A* FIX INDENTATION CODE, EDITING .ML (& other?) FILES IS CHRONICALLY SLOW.
   This is going to hit us hard as soon as the mode gets used in
   earnest.
-- 
cgit v1.2.3