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