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
