> That suggests that you're running the 32-bit version of Poly/ML in which > case the heap is limited to around 3-3.5G by the system and the problem > you're having is the total 4G memory limit. Switch to the 64-bit > version as a starting point. I was assuming that with 32G of memory you > were running the 64-bit version already.
No, I initially planned to, but Makarius usually advises against it. I'm not sure how to proceed here. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
