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
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev