From 16ec26fb7f102aa37c9546d95f0f61109699a6be Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 8 Jun 2000 19:44:12 +0000
Subject: Improved indentation code; enabled by default;

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

diff --git a/todo b/todo
index c9fda72d..e802b380 100644
--- a/todo
+++ b/todo
@@ -538,10 +538,6 @@ C New modules:
    function to be invoked instead? (Cf font lock).
    Or via a new generic mechanism for matching or invoking a fn.
 
-*** D Improve indentation code and see why it's so slow (at
-  least for Isabelle).   Enable it for particular provers if
-  it works okay  (but must test in on large files).
-
 *** D ROBUSTness: deal gracefully with possibility that goals buffer is
   killed during session.   (2h)
 
-- 
cgit v1.2.3