Re: [isabelle-dev] scala-2.12.2

2017-06-24 Thread Florian Haftmann
See now finally http://isabelle.in.tum.de/repos/isabelle/rev/a41435469559 Florian Am 23.06.2017 um 08:43 schrieb Lars Hupel: >> The patch is now running on testboard: >> . > > Unfortunately, this patch did not work out. > >

Re: [isabelle-dev] scala-2.12.2

2017-06-24 Thread Makarius
On 24/06/17 21:08, Florian Haftmann wrote: > See now finally http://isabelle.in.tum.de/repos/isabelle/rev/a41435469559 Great. In Isabelle/d91108ba9474 we are also back to scala-2.12.2 and can hopefully keep it this time. Makarius signature.asc Description: OpenPGP digital signature