Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. back to parallel compression: full AFP build does require 16GB Java heap (reverting 107472ccc60d);
  3. back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
  4. clarified signature;
  5. avoid redundant export handling for build;
  6. prefer single name
Changeset 71964:235173749448 by wenzelm:
merged
Changeset 71963:3e7d89d9912e by wenzelm:
back to parallel compression: full AFP build does require 16GB Java heap (reverting 107472ccc60d);
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 71962:23398ed3aecf by wenzelm:
back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
The file was modified NEWS (diff)
The file was modified etc/options (diff)
The file was modified src/Doc/ROOT (diff)
Changeset 71961:af779738a8f9 by wenzelm:
clarified signature;
The file was modified src/Pure/General/xz.scala (diff)
Changeset 71960:6a64205b491a by wenzelm:
avoid redundant export handling for build;
The file was modified etc/options (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71959:ee2c7f0dd1be by haftmann:
prefer single name
The file was modified NEWS (diff)
The file was modified src/FOL/FOL.thy (diff)
The file was modified src/FOL/IFOL.thy (diff)
The file was modified src/HOL/HOL.thy (diff)
The file was modified src/HOL/Proofs/Lambda/NormalForm.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)