The winter is approaching, and we should start thinking about the coming
Isabelle release.
Looking for constraints and side-conditions, I've found the next scheduled
jdk-8 release by Oracle: 20-Jan-2016. Since current jdk-8u66 appears to
be somehow "intermediate", I looks worth including that.
Are there further constraints?
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
