[isabelle-dev] NEWS: Poly/ML with libgmp on all platforms

[Makarius]

*** System ***

* 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.


This refers to Isabelle/4fb9cbe10f3e. It means I've ultimately managed
to build libgmp for x86_64-darwin and x86-darwin as well. The
explanations are in
http://isabelle.in.tum.de/repos/isabelle/file/4fb9cbe10f3e/Admin/polyml/README
(the polyml-5.7.1-2 component has the old version by accident).


	Makarius