[isabelle-dev] Problems building Isabelle/Scala

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



More information about the isabelle-dev mailing list