Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- enable pide_session by default;
- avoid resource problems of JVM by too many parallel XZ compression tasks;
The file was modified | NEWS |
The file was modified | etc/options |
The file was modified | src/Doc/ROOT |
The file was modified | src/Pure/Thy/export.scala |