[isabelle-dev] next release

Lawrence Paulson lp15 at cam.ac.uk
Wed Jan 13 16:55:40 CET 2016


I don't expect to contribute anything else before the next release. There are little bits that I could add, but probably I should desist in the name of stability.

Larry


More information about the isabelle-dev mailing list