With Isabelle/ce4842d2d150 we are back to testing the forthcoming release of Poly/ML, with its special 32-in-64 bit mode for up to 16 GB ML heap memory.
David Matthews has made several rounds of refinement, so there is some chance that spurious crashes have all disappeared. This needs to be tested thoroughly, of course. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev