[isabelle-dev] Editing large sessions with Isabelle/jEdit

[Makarius]

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