Oracle has had sufficient time to consolidate Java 8 for general use, so we are presumably leaving Java 7 behind and not going back again (there are no public updates of it anymore).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
