Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. option "checkpoint" helps to fine-tune global heap space management;
Changeset 63827:b24d0e53dd03 by wenzelm:
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)