[isabelle-dev] Problems building Isabelle/Scala

Lars Hupel hupel at in.tum.de
Sat Apr 6 14:04:39 CEST 2019

> 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:


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.

More information about the isabelle-dev mailing list