[isabelle-dev] Poly/ML 5.5.2

[Makarius]

Poly/ML 5.5.2 was released a few days ago, see also 
http://lists.inf.ed.ac.uk/pipermail/polyml/2014-May/001417.html

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.


 	Makarius