Re: [isabelle] RC1 - Greyout



On Wed, 27 Jan 2016, Lars Hupel wrote:

the behaviour described by "greyout" still occurs

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

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.


	Makarius




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