From d4950c124d4fdd3f215da8ef997dde46d324363a Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 27 Dec 2001 15:55:45 +0000
Subject: updated;

---
 isar/todo | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'isar/todo')

diff --git a/isar/todo b/isar/todo
index 0266533d..c508181f 100644
--- a/isar/todo
+++ b/isar/todo
@@ -17,8 +17,4 @@ Isabelle's pretty-printing subsystem);
 ** C tune behaviour of goals/response buffers (e.g. hide empty
 response buffers when using 2 buffer model);
 
-** D Fixup so that typing in shell buffer updates locked buffer status.
-It works in Isabelle/classic, why not here?  (But users shouldn't
-type in shell buffer, anyway).
-
 ** D support proof-next-error?
-- 
cgit v1.2.3