~/isabelle/Repos/src/HOL: hg id 924579729403 tip Larry
On 16 Sep 2013, at 12:25, Lawrence Paulson <l...@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 > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev