Re: [isabelle] RC1 - Greyout

(This refers to RC2.)

> Also note that the word "grey out" no longer makes sense in
> Isabelle2016, because the "greying" is restricted to the small text
> overview column, so "out" is not applicable: the main text view remains
> fully coloured.

While this is true, the behaviour described by "greyout" still occurs.
In RC2 there is no way I can see when that happens; I just see "stale"
proof state/output/markup and have no idea what's going on.


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