[isabelle-dev] Problems building Isabelle/Scala
makarius at sketis.net
Tue Apr 9 12:03:05 CEST 2019
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:
date: Tue Apr 09 10:56:25 2019 +0200
files: Admin/components/main src/Pure/GUI/color_value.scala
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.
More information about the isabelle-dev