From e2bc60c9c6924c4b7fe8c32fac87d1beae9e943a Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 10 Jun 2000 13:16:23 +0000
Subject: new indentation setup;

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

diff --git a/isar/todo b/isar/todo
index 944083dc..22507b4f 100644
--- a/isar/todo
+++ b/isar/todo
@@ -11,10 +11,6 @@ See also ../todo for generic things to do, priority codes.
 ** C proper proof-by-pointing support (hard; needs major reworking of
 Isabelle's pretty-printing subsystem);
 
-** C speedup indentation (rather do this at generic level?); would be
-nice if current indentation stack would be somehow stored within the
-extend(s) processed last;
-
 ** C tune behaviour of goals/response buffers (e.g. hide empty
 response buffers when using 2 buffer model);
 
-- 
cgit v1.2.3