Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more on Docker;
  2. removed obsolete RC tags;
  3. build_docker is regular tool (non-admin);
  4. merged
  5. Added tag Isabelle2017 for changeset 64b47495676d
  6. obsolete;
  7. more NEWS;
  8. updated for release;
  9. merged
  10. proper File.platform_path for SML/NJ on Windows;
  11. clarified signature;
  12. proper output of raw ML;
Changeset 66792:6b76a5d1b7a5 by wenzelm:
more on Docker;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 66791:e51f789f7705 by wenzelm:
removed obsolete RC tags;
The file was modified .hgtags (diff)
Changeset 66790:c0e68e6a1beb by wenzelm:
build_docker is regular tool (non-admin);
The file was addedsrc/Pure/Tools/build_docker.scala
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Admin/build_docker.scala
Changeset 66789:feb36b73a7f0 by wenzelm:
merged
Changeset 66788:6b08228b02d5 by wenzelm:
Added tag Isabelle2017 for changeset 64b47495676d
The file was modified .hgtags (diff)
Changeset 66787:64b47495676d by wenzelm:
obsolete;
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 66786:61617dafcd60 by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 66785:6fbd7fc824a9 by wenzelm:
updated for release;
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/Admin/build_docker.scala (diff)
Changeset 66784:df1f43d477f5 by wenzelm:
merged
Changeset 66783:bbe87f1b5e5d by wenzelm:
proper File.platform_path for SML/NJ on Windows;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 66782:193c31b79a33 by wenzelm:
clarified signature;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/ML/ml_syntax.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66781:dac4cfbfede8 by wenzelm:
proper output of raw ML;
The file was modified src/Pure/ML/ml_process.scala (diff)