diff -r 9c697c7ad8d6 -r 63721ee8c86c NEWS --- a/NEWS Mon Mar 11 23:02:18 2019 +0100 +++ b/NEWS Tue Mar 12 15:34:33 2019 +0100 @@ -309,10 +309,10 @@ * System option "checkpoint" has been discontinued: obsolete thanks to improved memory management in Poly/ML. -* Poly/ML 5.8 allows to use the native x86_64 platform without the full -overhead of 64-bit values everywhere. This special x86_64_32 mode -provides up to 16GB ML heap, while program code and stacks are allocated -elsewhere. Thus approx. 5 times more memory is available for +* Update to Poly/ML 5.8 allows to use the native x86_64 platform without +the full overhead of 64-bit values everywhere. This special x86_64_32 +mode provides up to 16GB ML heap, while program code and stacks are +allocated elsewhere. Thus approx. 5 times more memory is available for applications compared to old x86 mode (which is no longer used by Isabelle). The switch to the x86_64 CPU architecture also avoids compatibility problems with Linux and macOS, where 32-bit applications