Summary
- tuned;
- merged
- tuned;
- clarified cleanup;
- more thorough cleanup -- in Scala;
- create ISABELLE_TMP in Scala (despite odd/obsolete chmod in d84b4d39bce1);
- obsolete (cf. 63a5782c764e);
- clarified session build options: already provided by ML_Process; tuned signature;
- spelling
The file was modified | src/Pure/Tools/ml_process.scala (diff) |
The file was modified | src/Pure/System/bash.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Tools/ml_process.scala (diff) |
The file was modified | src/Pure/System/bash.scala (diff) |
The file was modified | src/Pure/System/isabelle_system.scala (diff) |
The file was modified | src/Pure/Tools/ml_process.scala (diff) |
The file was modified | src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML (diff) |
The file was modified | src/Pure/Tools/ml_process.scala (diff) |
The file was modified | src/Pure/Tools/ml_process.scala (diff) |
The file was modified | src/Pure/PIDE/protocol.ML (diff) |
The file was modified | src/Pure/System/isabelle_process.ML (diff) |
The file was modified | src/Pure/Tools/build.ML (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | NEWS (diff) |