NEWS
changeset 70084 63721ee8c86c
parent 70042 62e47f06d22c
child 70087 55534affe445
     1.1 --- a/NEWS	Mon Mar 11 23:02:18 2019 +0100
     1.2 +++ b/NEWS	Tue Mar 12 15:34:33 2019 +0100
     1.3 @@ -309,10 +309,10 @@
     1.4  * System option "checkpoint" has been discontinued: obsolete thanks to
     1.5  improved memory management in Poly/ML.
     1.6  
     1.7 -* Poly/ML 5.8 allows to use the native x86_64 platform without the full
     1.8 -overhead of 64-bit values everywhere. This special x86_64_32 mode
     1.9 -provides up to 16GB ML heap, while program code and stacks are allocated
    1.10 -elsewhere. Thus approx. 5 times more memory is available for
    1.11 +* Update to Poly/ML 5.8 allows to use the native x86_64 platform without
    1.12 +the full overhead of 64-bit values everywhere. This special x86_64_32
    1.13 +mode provides up to 16GB ML heap, while program code and stacks are
    1.14 +allocated elsewhere. Thus approx. 5 times more memory is available for
    1.15  applications compared to old x86 mode (which is no longer used by
    1.16  Isabelle). The switch to the x86_64 CPU architecture also avoids
    1.17  compatibility problems with Linux and macOS, where 32-bit applications