Re: [isabelle] Isabelle2016-RC0 - does not exit on Linux
On Sun, 3 Jan 2016, C. Diekmann wrote:
I'm testing Isabelle2016-RC0_app.tar.gz on Ubuntu 14.04.3 LTS, Unity,
Linux 4.2.0-22-generic x86_64.
I started it in the shell with
After I exited jEdit (clicking the x in the window), the process was
not gone and it was still active in my shell. The prompt did not
5) While Isabelle is still checking proofs (and finding more errors),
This sounds like the JVM/AWT shutdown problem, that I've now addressed in
I spent more than half of the day experimenting with variations on the
theme. Hopefully this change is sufficient.
This archive was generated by a fusion of
Pipermail (Mailman edition) and