[isabelle-dev] scala-2.12.2

Lars Hupel hupel at in.tum.de
Mon May 22 13:12:13 CEST 2017

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

Interesting. In Jenkins, this commit builds fine:
(I had tested it with testboard before anyway.)

More information about the isabelle-dev mailing list