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.