[isabelle-dev] Isabelle_23-Dec-2015

Makarius makarius at sketis.net
Wed Dec 23 22:55:56 CET 2015

Here is another Isabelle test snapshot: 

It contains an updated version of Poly/ML as an approximation of version 
5.6 that David Matthews is preparing for the beginning of 2016.

After the Christmas break, there will be further moves towards the 
Isabelle2016 release. Hopefully, Oracle will manage to keep its own 
schedule for the next Java 8 release on 19-Jan-2016: 


More information about the isabelle-dev mailing list