Re: [isabelle] RC1 - Greyout



I second that. Additionally, on RC2 I (Mac OS X) occasionally see a
spinning multi-colored circle, which might stick with me for an indefinite
amount of time during which I cannot make any input. I didn't experience
this with Isabelle 2015.

On Wed, Jan 27, 2016 at 11:07 AM Lars Hupel <hupel at in.tum.de> wrote:

> (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.
>
> Cheers
> Lars
>
>



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