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

Makarius 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 mailing list