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:
> .
> (I had tested it with testboard before anyway.)
> 

OK, I will look more closely again.

There are some other problems with Windows: some of this already works
in e896db33d4ce, but it is not yet finished.


Makarius

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

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 with testboard before anyway.)
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev