Re: [isabelle] RC1 - Greyout



> Do you have an impression that it occurs less frequently?  E.g. due to
> various measures in Isabelle2016-RC to require less heap space.

Yes, this is my gut feeling, but not a firm conviction.

> The Monitor panel is now safe to keep open at all time.  Maybe you can
> keep an eye on the ML heap and tell me later about it.

I will try to do that.

Cheers
Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.