Here is an arbitrary snapshot between our two anticipated releases in

It approximates the version that I am going to use in my presentations
at the Isabelle 2016 workshop next week:

It may also help to do some testing, and to show me odd things during
the conference next week.

isabelle-dev mailing list

Reply via email to