From 7520e9addbee01ee94d587f2f2c2be969356f0bc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 18 Apr 2004 10:30:48 +0000
Subject: Comment about menu layout.

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

diff --git a/todo b/todo
index f5e8c1ca..b09f54c5 100644
--- a/todo
+++ b/todo
@@ -76,6 +76,11 @@ X (Low)		e.g. probably not worth spending time on
       command persistent.  See attempted patch in
       etc/patches/fix-attempt-for-eager-cleaning.txt
 
+
+*** C Menu layout
+    Would be good to try to make this uniform between version: 
+    PG menu frist, then prover-specific menu.  Similarly for Imenu.
+
 *** A PGIP SUPPORT (minimal for Isabelle patch):
       -- settings with categories
 
-- 
cgit v1.2.3