Re: [isabelle-dev] scala-2.12.2

2017-05-22 Thread Makarius
On 22/05/17 13:12, Lars Hupel wrote: >> 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: >

Re: [isabelle-dev] scala-2.12.2

2017-05-22 Thread Lars Hupel
> 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