Summary
- option "checkpoint" helps to fine-tune global heap space management;
The file was modified | NEWS (diff) |
The file was modified | etc/options (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/Pure/Tools/build.ML (diff) |