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 scala-2.11.8. 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. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
