equal
deleted
inserted
replaced
861 |
861 |
862 * SML/NJ and old versions of Poly/ML are no longer supported. |
862 * SML/NJ and old versions of Poly/ML are no longer supported. |
863 |
863 |
864 * Poly/ML heaps now follow the hierarchy of sessions, and thus require |
864 * Poly/ML heaps now follow the hierarchy of sessions, and thus require |
865 much less disk space. |
865 much less disk space. |
|
866 |
|
867 * System option "checkpoint" helps to fine-tune the global heap space |
|
868 management of isabelle build. This is relevant for big sessions that may |
|
869 exhaust the small 32-bit address space of the ML process (which is used |
|
870 by default). |
866 |
871 |
867 |
872 |
868 |
873 |
869 New in Isabelle2016 (February 2016) |
874 New in Isabelle2016 (February 2016) |
870 ----------------------------------- |
875 ----------------------------------- |