--- 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