> Instead of bisect, I took an educated guess after looking at the file history > of Admin/components/main. So the first bad commit for me is b578749daa62 > (which introduces scala 2.12.8). With its parent isabelle jedit -bf works. > > Funnily, my operating system installation of scala is 2.12.8 too and I don't > have any problems with it. > > Not sure how to proceed from here.
Scala 2.13.0-RC1 has just been released: <https://downloads.lightbend.com/scala/2.13.0-RC1/scala-2.13.0-RC1.tgz> Maybe Makarius could package this as an Isabelle component already. Scala 2.13.1 is currently slated for June 15, but curiously I couldn't find a release date for 2.13.0 to figure out if it would be suitable for the upcoming Isabelle2019 release. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
