[isabelle-dev] Towards the Isabelle release

Makarius makarius at sketis.net
Wed Nov 4 16:04:50 CET 2015


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



More information about the isabelle-dev mailing list