[isabelle-dev] isabelle jedit quickly aborts
j.c.blanchette at vu.nl
Tue Jan 7 16:54:44 CET 2020
I updated to Isabelle/ffb1783dd7e0 today, and since then I can't start Isabelle/jEdit. I've tried with a bare-bones settings file containing only
init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
When I type "isabelle jedit", the Isabelle logo appears as usual, then a bunch of AWT warnings I'm used to ignore, and after some time (anywhere between 5 and 60 s it seems), the logo goes away and control returns to the command line.
I've tried "isabelle jedit -f", to no avail.
I'm running macOS Mojave (10.14.4).
Any help on how to debug this would be appreciated.
More information about the isabelle-dev