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
