Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed obsolete RC tags;
  2. build_docker is regular tool (non-admin);
  3. merged
  4. Added tag Isabelle2017 for changeset 64b47495676d
  5. obsolete;
  6. more NEWS;
  7. updated for release;
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)