changeset 63827 | b24d0e53dd03 |
parent 63821 | 52235c27538c |
child 63830 | 2ea3725a34bd |
--- a/NEWS Thu Sep 08 10:35:08 2016 +0200 +++ b/NEWS Thu Sep 08 18:18:57 2016 +0200 @@ -864,6 +864,11 @@ * Poly/ML heaps now follow the hierarchy of sessions, and thus require much less disk space. +* 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). + New in Isabelle2016 (February 2016)