[isabelle-dev] Poly/ML 5.5.2

Makarius makarius at sketis.net
Wed May 14 15:15:27 CEST 2014

Poly/ML 5.5.2 was released a few days ago, see also 

In Isabelle/e7bf30290627 the Isabelle component is updated accordingly.

In the coming months before the release it is important to watch out for 
potential problems, and to report them here or via private mail to me or 
David Matthews.


More information about the isabelle-dev mailing list