> 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.
Maybe we should start performing code checks with stricter compile
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