[isabelle-dev] NEWS: Poly/ML 5.5.3 runs natively on x86-windows

Makarius makarius at sketis.net
Thu Aug 20 17:38:43 CEST 2015

*** System ***

* Poly/ML 5.5.3 runs natively on x86-windows, with somewhat larger heap
space than former x86-cygwin.

This refers to Isabelle/ff4a67c65084.  There is no proper release of 
Poly/ML 5.5.3 yet -- we are merely testing an arbitrary repository 
snapshot (uniformly on all platforms).


More information about the isabelle-dev mailing list