Stream: Beginner Questions

Topic: Installation error

view this post on Zulip nikomatsakis (Jan 16 2023 at 14:06):

I tried downloading the isabelle tarball on a linux system. When I run it, I get:

> ./Isabelle2022/Isabelle2022
exception caught when loading class Array: java.lang.AssertionError: scala.Array$Array0$class
java.lang.AssertionError: scala.Array$Array0$class while compiling /home/nikomatsakis/Isabelle2022/src/Tools/jEdit/jedit_base/plugin.scala

Any idea what's going wrong?

view this post on Zulip Harriett Du Four (Jan 22 2024 at 19:00):

Whenever I try to install the 2023 version of Isabelle for Windows 11, I get to the stage where I am requested to 'unpack Isabelle', and then I either receive an error if I try to change the file location, or when I click 'yes' the message disappears and nothing happens. Does anyone know what might be going wrong? Any help would be appreciated.

Last updated: Apr 20 2024 at 12:26 UTC