On 07/06/18 15:56, Tobias Nipkow wrote:
> I have recently (eg 6a0852b8e5a8) noticed the following behaviour,
> although it may be older:
>
> I start
>
> isabelle jedit Analysis.thy
>
> let it run for a little bit, then double-click on some of the early
> theories in the Theories panel (probably
I have recently (eg 6a0852b8e5a8) noticed the following behaviour, although it
may be older:
I start
isabelle jedit Analysis.thy
let it run for a little bit, then double-click on some of the early theories in
the Theories panel (probably one it has processed already or is in the process
of d