diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-06-10 13:16:23 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-06-10 13:16:23 +0000 |
commit | e2bc60c9c6924c4b7fe8c32fac87d1beae9e943a (patch) | |
tree | 75840cdd810269f6b28487ab2062a5ba18701b27 /isar | |
parent | 2a7a29a2e921ca5c677da3c6720f4d11de014847 (diff) |
new indentation setup;
Diffstat (limited to 'isar')
-rw-r--r-- | isar/todo | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -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); |