Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. setup server directory for Cygwin quasi-mirror;
  3. more scalable JVM memory management;
  4. tuned output;
  5. more general cache, also for term substructures;
  6. more exports; read_session: proper signature;
Changeset 68269:5ff0ccc74884 by wenzelm:
merged
Changeset 68268:38b4d4f39434 by wenzelm:
setup server directory for Cygwin quasi-mirror;
The file was addedAdmin/Windows/Cygwin/setup_server
Changeset 68267:6a29709906c6 by wenzelm:
more scalable JVM memory management;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68266:f13bb379c573 by wenzelm:
tuned output;
The file was modified src/Pure/General/cache.scala (diff)
Changeset 68265:f0899dad4877 by wenzelm:
more general cache, also for term substructures;
The file was addedsrc/Pure/General/cache.scala
The file was modified src/Pure/PIDE/xml.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Pure/term.scala (diff)
Changeset 68264:bb9a3be6952a by wenzelm:
more exports;<br>read_session: proper signature;
The file was modified src/HOL/Tools/typedef.ML (diff)
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)