aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>2000-06-10 13:16:23 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>2000-06-10 13:16:23 +0000
commite2bc60c9c6924c4b7fe8c32fac87d1beae9e943a (patch)
tree75840cdd810269f6b28487ab2062a5ba18701b27 /isar
parent2a7a29a2e921ca5c677da3c6720f4d11de014847 (diff)
new indentation setup;
Diffstat (limited to 'isar')
-rw-r--r--isar/todo4
1 files changed, 0 insertions, 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);