[isabelle-dev] scala-2.12.2

Makarius makarius at sketis.net
Mon May 22 00:36:03 CEST 2017

On 21/05/17 13:56, Lars Hupel wrote:
>> With Isabelle/a43a079156a6 we are on scala-2.12.2, leaving the 2.11.x
>> behind.
> See also Isabelle/d76937b773d9, which repairs a broken code adaptation.
> Note that `error` had been deprecated for at least one major release cycle.

Thanks for keeping an eye on that. When updating the scala component to
2.12, I had the feeling that something bad is going to happen again,
just like last time.

After your change d76937b773d9, I still see a non-terminating
HOL-Codegenerator_Test. So in 94b0da1b242e I have switched back to

I have also improved http://isabelle.in.tum.de/devel/build_status/ to
show failed sessions on the main page, so that I will see such problems
earlier next time.


More information about the isabelle-dev mailing list