From a38f5defd9ed81de0263b1bf5ec42bce3589cdd2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Jul 2002 12:03:46 +0000
Subject: Update versions/TODO

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

(limited to 'isar')

diff --git a/isar/todo b/isar/todo
index 21c73b5e..b14b3987 100644
--- a/isar/todo
+++ b/isar/todo
@@ -13,6 +13,3 @@ func-menu setup?);
 
 ** C proper proof-by-pointing support (hard; needs major reworking of
 Isabelle's pretty-printing subsystem);
-
-** C tune behaviour of goals/response buffers (e.g. hide empty
-response buffers when using 2 buffer model);
-- 
cgit v1.2.3