*** 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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
