Stream: Beginner Questions

Topic: Bug report: Isabelle 2025-2 crash

view this post on Zulip Gergely Buday (Jan 26 2026 at 08:47):

Where can I file a bug report? My Isabelle 2025-2 crashed on my Ubuntu 22.04.5 LTS with this message on the terminal:

environment: line 1:  5788 Killed                  "$JAVA_HOME/bin/$PRG" "$@"

What could have caused this?

view this post on Zulip Fabian Huch (Jan 26 2026 at 08:49):

Serious problems should be forwarded to the mailing list but this just looks like the OOM killer ending the process to free up memory.

view this post on Zulip Gergely Buday (Jan 26 2026 at 09:02):

I did not use a very large development, why the Linux out of memory killer killed my process? With previous Isabelle versions this never happened.

Last updated: Feb 12 2026 at 20:37 UTC