This is a summary of the multi-platform situation documented in
Admin/PLATFORMS of Isabelle/39cc38a06610:
* Linux, Windows, Mac OS X are uniformly required to be 64bit
platforms; old 32bit Linux and Windows has been discontinued (32bit Mac
OS X has been discontinued by Apple long ago).
*
*** System ***
* Update to current Poly/ML 5.7.1 with slightly improved performance and
PIDE markup for identifier bindings.
This refers to Isabelle/3345d53e7c58.
After heroic efforts by David Matthews over some months, we are back on
a live branch of Poly/ML -- one that performs slightly
