[isabelle-dev] NEWS: system option "checkpoint"

Makarius makarius at sketis.net
Thu Sep 8 18:25:26 CEST 2016


*** 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


More information about the isabelle-dev mailing list