# HG changeset patch
# User wenzelm
# Date 1518262425 -3600
# Node ID 6fd9902057f5d5989da8cba08d7bd6b826848d15
# Parent  4fb9cbe10f3ebcd7631378fcf8cd8105ef41afa5
NEWS;

diff -r 4fb9cbe10f3e -r 6fd9902057f5 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)