NEWS;
authorwenzelm
Sat Feb 10 12:33:45 2018 +0100 (16 months ago)
changeset 675916fd9902057f5
parent 67590 4fb9cbe10f3e
child 67592 66253039d5ca
NEWS;
NEWS
     1.1 --- a/NEWS	Sat Feb 10 12:28:36 2018 +0100
     1.2 +++ b/NEWS	Sat Feb 10 12:33:45 2018 +0100
     1.3 @@ -274,6 +274,10 @@
     1.4  options for improved error reporting. Potential INCOMPATIBILITY with
     1.5  unusual LaTeX installations, may have to adapt these settings.
     1.6  
     1.7 +* The bundled Poly/ML 5.7.1 now uses The GNU Multiple Precision
     1.8 +Arithmetic Library (libgmp) on all platforms, notably Mac OS X with
     1.9 +32/64 bit.
    1.10 +
    1.11  
    1.12  
    1.13  New in Isabelle2017 (October 2017)