changeset 67591 | 6fd9902057f5 |
parent 67525 | 5d04d7bcd5f6 |
child 67616 | 1d005f514417 |
--- 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)