[isabelle-dev] Isabelle_23-Dec-2015

[Makarius]

Here is another Isabelle test snapshot: 
http://www4.in.tum.de/~wenzelm/test/Isabelle_23-Dec-2015

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: 
https://www.java.com/en/download/faq/release_dates.xml


 	Makarius