*** System *** * System option "checkpoint" helps to fine-tune the global heap space management of isabelle build. This is relevant for big sessions that may exhaust the small 32-bit address space of the ML process (which is used by default).
This refers to Isabelle/b24d0e53dd03 (for HOL-Proofs) and AFP/8df406ce23a7 (for Collections). Just before, I had serious problems getting Collections through on my Linux box. In the past, the concrete wall was hit only on Mac OS X. Lets see how far we can again postpone the transition from x86 to x86_64 ... Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev