Email Gateway (Aug 22 2022 at 19:54): Email Gateway (Aug 22 2022 at 19:54):From: Manuel Eberl <eberlm@in.tum.de>
I forwarded this email to isabelle-users because it would be off-topic
on isabelle-dev.
-------- Forwarded Message --------
Subject: Exception Codes
Date: Tue, 21 May 2019 12:22:25 +0000
From: Anzinger, Maximilian <maximilian.anzinger@tum.de>
To: isabelle-dev@in.tum.de <isabelle-dev@in.tum.de>
Hi there,
it would be great if you could tell me what my problem here is or tell
me where to find your exception codes in the documentation?
At least I couldn't find them.
Best Regards
Maximilian Anzinger
Email Gateway (Aug 22 2022 at 19:54):From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
The linked image appears to show 7z crashing while trying to unpack Isabelle2018.
This is not an Isabelle error, and for the exception codes you'd have to ask
Microsoft. It could possibly occur due to a combination of a corrupted 7zip
archive and a buggy 7z application, or perhaps due to a RAM error on your system.
Last updated: Nov 21 2024 at 12:39 UTC