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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
