[isabelle-dev] sledgehammer panel problem

Lawrence Paulson lp15 at cam.ac.uk
Mon Sep 16 13:25:41 CEST 2013


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