[isabelle-dev] Isabelle/jEdit won't start today

Jasmin Blanchette j.c.blanchette at vu.nl
Tue Jul 14 15:22:57 CEST 2020

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...).


More information about the isabelle-dev mailing list