On 06/04/2019 14:04, Lars Hupel wrote:
>
> 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.
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.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
