nikomatsakis (Jan 16 2023 at 14:06): 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?
Last updated: Dec 07 2023 at 08:19 UTC