[isabelle-dev] sledgehammer panel problem

[Lawrence Paulson]

~/isabelle/Repos/src/HOL: hg id
924579729403 tip

Larry

On 16 Sep 2013, at 12:25, Lawrence Paulson <lp15 at cam.ac.uk> wrote:

> Any generated "metis" calls only self-insert if clicked before s/h terminates. If you ignore your session for a few minutes while s/h runs (as many people do), then the highlighted links will be inactive when you get back. I've checked this several times.
> 
> Larry
>