From 19f16ac8eb742ff6337626b9d46c308ffa3e63a8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Nov 1998 18:03:03 +0000
Subject: Added menu item todo

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

diff --git a/todo b/todo
index 69cd45a0..55a6a73a 100644
--- a/todo
+++ b/todo
@@ -62,6 +62,8 @@ B Make completion more generic. For Isabelle and Lego, we can build a
   messing with tags.  
 A* fix any bits I've broken  (da, 1hr)
 
+C Add menu function to switch to proof shell buffer (and maybe others).
+
 C support for templates e.g., in LEGO it would be nice if, by default, 
   fresh buffers corrsponding to file foo.l would automatically insert
   "Module foo;" (1h)
-- 
cgit v1.2.3