Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned;
  2. merged
  3. tuned;
  4. clarified cleanup;
  5. more thorough cleanup -- in Scala;
  6. create ISABELLE_TMP in Scala (despite odd/obsolete chmod in d84b4d39bce1);
  7. obsolete (cf. 63a5782c764e);
  8. clarified session build options: already provided by ML_Process; tuned signature;
  9. spelling
Changeset 62606:247963aa1c5d by wenzelm:
tuned;
The file was modified src/Pure/Tools/ml_process.scala (diff)
Changeset 62605:8dac815f9f6a by wenzelm:
merged
Changeset 62604:7f325faed9f7 by wenzelm:
tuned;
The file was modified src/Pure/System/bash.scala (diff)
Changeset 62603:c077eb5e0b56 by wenzelm:
clarified cleanup;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)
Changeset 62602:96e679f042ec by wenzelm:
more thorough cleanup -- in Scala;
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)
Changeset 62601:a937889f0086 by wenzelm:
create ISABELLE_TMP in Scala (despite odd/obsolete chmod in d84b4d39bce1);
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)
Changeset 62600:614aefb0e6cc by wenzelm:
obsolete (cf. 63a5782c764e);
The file was modified src/Pure/Tools/ml_process.scala (diff)
Changeset 62599:f35858c831e5 by wenzelm:
clarified session build options: already provided by ML_Process;<br>tuned signature;
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)
Changeset 62598:f26dc26f2161 by haftmann:
spelling
The file was modified NEWS (diff)