Email Gateway (Oct 05 2026 at 21:31): Email Gateway (Oct 05 2026 at 21:31):From: Makarius <makarius@sketis.net>
Subject: [isabelle] Isabelle2026-RC3: crash of Windows 7zip self-extraction
On 05/10/2026 23:21, Makarius wrote:
Dear Isabelle users,
the Isabelle2026 release train has arrived at station "RC3", see also https://
sketis.net/2026/release-candidates-for-isabelle2026 for details.
This release candidate had many delays, and had to be published today. Thus I
could no longer address a problem that some Windows users have seen
occasionally in the past, and that I have seen myself now for the first time:
Isabelle2026-RC3.exe crashes at the very end, with a complaint of 7zip.
The extracted Isabelle distribution is probably OK, and the toplevel
executable Isabelle2026-RC3/Isabelle2026-RC3.exe should work, likewise
"isabelle jedit" or "isabelle vscode" from the Cygwin-Terminal.
I will see how to get rid of this ancient/unmaintained 7zip sfx wrapper next time.
Makarius
Last updated: Oct 08 2026 at 21:07 UTC