Here is an arbitrary snapshot between our two anticipated releases in 2016: http://www4.in.tum.de/~wenzelm/test/Isabelle_15-Aug-2016
It approximates the version that I am going to use in my presentations at the Isabelle 2016 workshop next week: http://www21.in.tum.de/~nipkow/Isabelle2016 It may also help to do some testing, and to show me odd things during the conference next week. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev