[isabelle-dev] Editing large sessions with Isabelle/jEdit
makarius at sketis.net
Thu Dec 6 13:47:11 CET 2012
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
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
More information about the isabelle-dev