[isabelle-dev] HOL-Analysis instability -- Isabelle/jEdit

[Makarius]

On 03/12/2019 19:34, Manuel Eberl wrote:
> 
> On another probably unrelated note, whenever I open a theory with a lot
> of dependencies in Isabelle/jEdit (e.g. HOL-Analysis.Analysis with only
> the HOL image loaded), the entire Java process freezes up for about 5
> minutes or more (no UI reaction to clicks etc). The theory panel is also
> still blank at that point (except for the "Analysis" theory).

This is unrelated. I am presently bisecting the history to find out where it
occurs first.


	Makarius