With Isabelle/76f2d492627e we are on polyml-test-b68438d33c69: it is already fairly stable, but there are still some sporadic crashes, notably on slow machines (e.g. for "isabelle build HOL" on lxbroy10 or my macMini at home). On high-end machines, I can build all of Isabelle + AFP without problems.
We do continue monotonically towards a stable Poly/ML version: David Matthews has already sorted out various subtle issues on https://github.com/polyml/polyml/commits/master -- leading up to current b68438d33c69. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev