[isabelle-dev] Problems building Isabelle/Scala
makarius at sketis.net
Sat Apr 6 20:05:17 CEST 2019
On 06/04/2019 14:04, Lars Hupel wrote:
> 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.
>From the experience with Scala in the past years, I normally wait a bit
until the new stable branch stabilizes. An early .0 or .1 is very risky.
More information about the isabelle-dev