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: > <https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/912/consoleFull>. > (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