Summary
- merged
- setup server directory for Cygwin quasi-mirror;
- more scalable JVM memory management;
- tuned output;
- more general cache, also for term substructures;
- more exports; read_session: proper signature;
The file was added | Admin/Windows/Cygwin/setup_server |
The file was modified | src/Pure/Thy/export_theory.scala (diff) |
The file was modified | src/Pure/General/cache.scala (diff) |
The file was added | src/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) |
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) |