Email Gateway (Jul 14 2020 at 13:23): Email Gateway (Jul 14 2020 at 13:23):From: Jasmin Blanchette <j.c.blanchette@vu.nl>
Dear all,
Today I pulled Isabelle (08f1e4cb735f), wrote "isabelle jedit -l Pure Sledgehammer.thy" (from "src/HOL"), then got the Isabelle splash screen for some time (10 to 60 s), then sudden exit. I tried building Pure first, updating back to some changeset from last week which used to work, reboot: all to no avail. It's not the first time I run into such an issue, I think. How does one go around to debug this, given the opacity of the splash screen? And is there a workaround (I would be really keen on doing some Sledgehammer development today actually...).
Jasmin
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Jul 14 2020 at 13:27):From: Tobias Nipkow <nipkow@in.tum.de>
I had a similar problem once and it had to do with my external monitor.
Unpluggig it helped. But your issue seems to be different.
Tobias
smime.p7s
Email Gateway (Jul 14 2020 at 13:29):From: Jasmin Blanchette <j.c.blanchette@vu.nl>
It's the same issue, actually. Once I saw I had the same problem with Isabelle2020, and I recalled all the crash I used to have when teaching Concrete Semantics due to the beamer, I thought about the monitor -- about one minute before you wrote. Thanks anyway. :)
Jasmin
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Jul 15 2022 at 23:21 UTC