From 00c337af2ea574baf01a26581b80aa1fd955e2f0 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Fri, 30 Oct 1998 16:34:38 +0000
Subject: implemented new buffer model. The goals buffer is now exclusively
 reserved for goals.

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

(limited to 'todo')

diff --git a/todo b/todo
index 861b4263..1d38d14e 100644
--- a/todo
+++ b/todo
@@ -59,6 +59,8 @@ C  Remove "FIXME notes" which are just notes I've put in about old
 
 C  Check on all FIXME notes.
 
+C  Toolbar icon for `proof-execute-minibuffer-cmd'
+
 A* Fixup for non-script buffer locking:
 
     proof-locked-end called from wrong buffer when error message
@@ -125,14 +127,6 @@ B Implement more generic mechanism for large undos (4h tms)
     LEGO: consider Discharge; perhaps unrol to the beginning of the
           module?
 
-A New buffer model (4h tms):
-
-    1. Script buffers
-    2. Response buffer
-    3. (optionally part of response buffer) goals buffer
-    4. (hidden) process buffer
-    5. Minibuffer for additionally sending information to the process 
-
 A Revise ProofGeneral.texi and publish LaTeX version as an LFCS
   Technical Report (2 days; da + tms)
 
-- 
cgit v1.2.3