From 15f6b377ae00b28d147e1a8c36fad031ded44d31 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Fri, 30 Oct 1998 12:02:51 +0000
Subject: replaced some occurences of (current-buffer) by proof-shell-buffer to
 make code more robust

---
 todo | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'todo')

diff --git a/todo b/todo
index b6498533..861b4263 100644
--- a/todo
+++ b/todo
@@ -125,9 +125,6 @@ B Implement more generic mechanism for large undos (4h tms)
     LEGO: consider Discharge; perhaps unrol to the beginning of the
           module?
 
-A replace (current-buffer) by proof-shell-buffer/proof-script-buffer
-  where ever possible (30 min tms)
-
 A New buffer model (4h tms):
 
     1. Script buffers
-- 
cgit v1.2.3