[isabelle-dev] Poly/ML 5.5.2
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
More information about the isabelle-dev