[isabelle-dev] sledgehammer panel problem
lp15 at cam.ac.uk
Mon Sep 16 22:37:25 CEST 2013
~/isabelle/Repos/src/HOL: hg id
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.
More information about the isabelle-dev