Summary
- enable pide_session by default;
- avoid resource problems of JVM by too many parallel XZ compression tasks;
The file was modified | NEWS (diff) |
The file was modified | etc/options (diff) |
The file was modified | src/Doc/ROOT (diff) |
The file was modified | src/Pure/Thy/export.scala (diff) |