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

Makarius makarius at sketis.net
Tue Dec 3 21:16:37 CET 2019

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.


More information about the isabelle-dev mailing list