[isabelle-dev] sledgehammer panel problem

Lawrence Paulson lp15 at cam.ac.uk
Mon Sep 16 22:37:25 CEST 2013

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


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

More information about the isabelle-dev mailing list