NEWS;

--- a/NEWS	Sat Feb 10 12:28:36 2018 +0100
+++ b/NEWS	Sat Feb 10 12:33:45 2018 +0100
@@ -274,6 +274,10 @@
 options for improved error reporting. Potential INCOMPATIBILITY with
 unusual LaTeX installations, may have to adapt these settings.
 
+* The bundled Poly/ML 5.7.1 now uses The GNU Multiple Precision
+Arithmetic Library (libgmp) on all platforms, notably Mac OS X with
+32/64 bit.
+
 
 
 New in Isabelle2017 (October 2017)