Summary
- NEWS;
- proper function invocation with all arguments;
- fork parallel prints early in execution: avoid degradation of priority due to main eval task;
- clarified signature: prefer Document.Snapshot;
The file was modified | NEWS (diff) |
The file was modified | src/Pure/PIDE/document.ML (diff) |
The file was modified | src/Pure/PIDE/command.ML (diff) |
The file was modified | src/Pure/PIDE/document.ML (diff) |
The file was modified | src/Pure/PIDE/document.scala (diff) |
The file was modified | src/Pure/Thy/thy_resources.scala (diff) |
The file was modified | src/Pure/Tools/dump.scala (diff) |
The file was modified | src/Pure/Tools/server_commands.scala (diff) |