NEWS
changeset 69822 8c587dd44f51
parent 69811 18f61ce86425
child 69827 7c0a2ab90786
     1.1 --- a/NEWS	Wed Feb 20 07:57:29 2019 +0100
     1.2 +++ b/NEWS	Wed Feb 20 12:10:40 2019 +0100
     1.3 @@ -290,6 +290,16 @@
     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 +applications compared to old x86 mode (which is no longer used by
    1.12 +Isabelle). The switch to the x86_64 CPU architecture also avoids
    1.13 +compatibility problems with Linux and macOS, where 32-bit applications
    1.14 +are gradually phased out.
    1.15 +
    1.16 +
    1.17  
    1.18  New in Isabelle2018 (August 2018)
    1.19  ---------------------------------