From 2a186eeaa79ac26fc02c1324b1e1052ac1564a3d Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 4 Nov 1998 13:59:51 +0000
Subject: first draft of Advanced Script Management section; I assume there
 will be a handy menu item to switch to the shell buffer.

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

(limited to 'todo')

diff --git a/todo b/todo
index 18451d1a..c1b06a65 100644
--- a/todo
+++ b/todo
@@ -104,7 +104,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).
+B Add menu function to switch to proof shell buffer, goals buffer,
+  response buffer and current proof script buffer. (30min)
 
 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
-- 
cgit v1.2.3