1 files changed, 2 insertions, 0 deletions
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)