[isabelle-dev] Robust Windows support

Makarius makarius at sketis.net
Mon Dec 7 11:09:17 CET 2015

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: 


More information about the isabelle-dev mailing list