On 07/04/2019 21:21, Traytel Dmitriy wrote: >> >> In the worst case we just return to scala-2.12.7, because the above >> update does not look very significant. > > That is what I did on my machine for now.
I have also done that in the repository here: changeset: 70083:96776eb41854 user: wenzelm date: Tue Apr 09 10:56:25 2019 +0200 files: Admin/components/main src/Pure/GUI/color_value.scala description: back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel); I do not expect any problems from not being at "latest" scala-2.12.8 -- these are marginal maintenance releases on a fairly stable branch. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev