Dear early adopters,
in Isabelle/608265769ce0 there is a small change that collects "bulk
edits" of many incoming buffers. This allows to edit really big sessions
with lots of imports smoothly. JinjaThreads already looks quite small
now.
There were other bottle-necks like the "text overview" column painting.
I've made workaround of reducing its maximum text interval with the option
jedit_text_overview_limit some weeks ago.
So it should be possible to edit the largest sessions of the publicly
visible Isabelle universe. If there are still limitations, please keep me
informed.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
