The native Windows version of Poly/ML from this summer has occasionally crashed in situations of low memory and high parallelism. David Matthews has revisited that now, so it is expected to work better in Isabelle/16901b0392c6. There is also a snapshot of app bundles here: http://www4.in.tum.de/~wenzelm/test/Isabelle_06-Dec-2015 Makarius