changeset 69822 8c587dd44f51
parent 69811 18f61ce86425
child 69827 7c0a2ab90786
--- a/NEWS	Wed Feb 20 07:57:29 2019 +0100
+++ b/NEWS	Wed Feb 20 12:10:40 2019 +0100
@@ -290,6 +290,16 @@
 * 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
+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
+are gradually phased out.
 New in Isabelle2018 (August 2018)