replaced some occurences of (current-buffer) by proof-shell-buffer to

make code more robust

1 files changed, 0 insertions, 3 deletions

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