[isabelle-dev] polyml-test-8fda4fd22441 available for testing

Makarius makarius at sketis.net
Sun Feb 17 20:03:19 CET 2019

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.


More information about the isabelle-dev mailing list