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