As of Isabelle/96ad7d5ff613 we are on current scala-2.12.3, see also http://scala-lang.org/news/2.12.3
The changeset ensures a full rebuild of all Isabelle/ML and Isabelle/Scala, to avoid surprises we've seen in past Scala updates. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev