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

Reply via email to