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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
